【判断题】演绎有效论证即是指结论能够从前提中逻辑推导出来的论证。（） 我的答案：√得分： 33.3分

3

【判断题】等值规则不允许用一个等值命题替换另一个命题。（） 我的答案：×得分： 33.3分

间接证明与简便证明已完成成绩： 100.0分

1

【单选题】在真值表检验中，目的是要给给定论证建立一个（）。? A、有效性 ? B、论证者 ? C、真值表

?

D、间接证明

我的答案：C得分： 33.3分

2

【判断题】针对“逻辑非”的电路图，不遵循逻辑算子“否定”的规则。（）我的答案：×得分： 33.3分

3

【判断题】演绎有效性是指前提真结论假是可能的。（） 我的答案：×得分： 33.3分

论证有效性证明（一）已完成成绩： 66.6分

1

【单选题】涉及量化的证明需要利用（）。

? A、真值函项规则 ? B、量化规则 ? C、量化等值规则 ?

D、归谬法

我的答案：C得分： 0.0分

2

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

? ? ? ?

A、全称例示规则 B、全称命题 C、真值表

D、以上都不对

我的答案：A得分： 33.3分

3

【判断题】任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。（）

我的答案：√得分： 33.3分

论证有效性证明（二）已完成成绩： 100.0分

1

【单选题】蕴涵关系只有从（）来看才是成立的。

? ? ? ?

A、条件 B、结论 C、存在观点

D、推论

我的答案：C得分： 33.3分

2

【判断题】存在例示不能在全称例示之前进行。（） 我的答案：×得分： 33.3分

3

【判断题】不能用量化等值和真值函项等值来决定做例示的位置。（） 我的答案：×得分： 33.3分

归谬法的其他应用已完成成绩： 33.3分

1

【单选题】要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。

? ? ? ?

A、矛盾 B、命题 C、结论

D、前提

我的答案：D得分： 0.0分

2

【单选题】从存在观点看，三段论的四个格共有（）个有效式。

? ? ? ?

A、8 B、16 C、24

D、48

我的答案：C得分： 33.3分

3

【单选题】要检验一个命题是否蕴涵另一个命题，需要把第一个命题当做前提，而把另一个命题的否定命题当做另一个（），然后看看它能否推导出矛盾式。

? ? ? ?

A、矛盾 B、命题 C、结论

D、前提

我的答案：A得分： 0.0分

一般量化理论已完成成绩： 100.0分

1

【单选题】在具体进行例示时，应注意全称例示和存在例示都必须总是涉及到管辖了这个命题其他部分的（）。

? ?

A、联词 B、名词

? ?

C、量词

D、介词

我的答案：C得分： 33.3分

2

【判断题】在处理关系命题时，完全没有必要对一元量化理论进行扩充。（） 我的答案：×得分： 33.3分

3

【判断题】关系命题不可以符号化。（） 我的答案：×得分： 33.3分

归纳法与归纳强度已完成成绩： 100.0分

1

【单选题】对于一个好的演绎论证，所有前提均真而结论为假是（）的。

? ? ? ?

A、不知道 B、可能 C、不可能

D、坏

我的答案：C得分： 25.0分

2

【单选题】在归纳论证中，结论被确证或反驳只是诉诸于（）的。

? ? ? ?

A、前提本身 B、结论本身 C、真值表

D、感觉经验

我的答案：D得分： 25.0分

3

【单选题】（）是衡量归纳论证好与坏的根本标准。

? ?

A、真值表 B、感觉经验