相关考题
-
单项选择题
在真值表检验中，目的是要给给定论证建立一个（）。
A、有效性
B、论证者
C、真值表
D、间接证明 -
单项选择题
根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。
A、有效论证
B、逻辑等值
C、重言式原则
D、以上都对 -
单项选择题
（）是指一个论证有效性的形式证明。
A.文恩图检验
B.形式演绎
C.三段论
D.逻辑验算
