根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，...

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

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、因此