（）允许我们从所有情形推导出特殊情形。

单项选择题（）允许我们从所有情形推导出特殊情形。

A、全称例示规则
B、全称命题
C、真值表
D、以上都不对

1.单项选择题在真值表检验中，目的是要给给定论证建立一个（）。

A、有效性
B、论证者
C、真值表
D、间接证明

2.单项选择题根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。

A、有效论证
B、逻辑等值
C、重言式原则
D、以上都对

3.单项选择题（）是指一个论证有效性的形式证明。

A.文恩图检验
B.形式演绎
C.三段论
D.逻辑验算

4.单项选择题真值函项等值又被称为（）。

A、函项等值
B、真值表
C、逻辑等值
D、真值函项

5.单项选择题构造真值表，基于的逻辑算子规则不包括（）。

A.命题
B.否定
C.合取
D.等值

6.单项选择题真值表可以用来判定（）。

A、蕴涵与有效性
B、等值
C、重言式与矛盾式
D、以上都对

7.单项选择题表达条件关系复句的常用关联词不包括（）。

A、当且仅当
B、当且惟若
C、只有……才……
D、是

8.单项选择题（）是指前提或结论中至少有一个条件命题的论证。

A、前提论证
B、结论论证
C、条件论证
D、命题论证

9.单项选择题标志词“如果”后面的命题被称为（）。

A、前提
B、条件
C、结论
D、前件

10.单项选择题复合命题论证是指前提或结论中至少有（）个符合命题的论证。

A、一个
B、三个
C、五个
D、六个