A、重言式
B、真值行
C、真值列
D、矛盾式
A、协调式
B、永假式
C、矛盾式
D、重言式
A、形式演绎
B、基本论证形式
C、文恩图
D、真值表