【单选题】（）是指一个论证有效性的形式证明。
? ? ? ?
A、文恩图检验 B、形式演绎 C、三段论 D、逻辑验算
我的答案：B得分： 25.0分
3
【判断题】逻辑蕴涵思想为真值函项论证有效提供了理由。（） 我的答案：√得分： 25.0分
4
【判断题】真值函项等值是指如果两个命题必然具有相同的真值，那么它们就是真值函项等值的。（）
我的答案：√得分： 25.0分
4-7形式演绎已完成成绩： 100.0分
1
【单选题】根据形式演绎方法，如果结论能够被通过使用（）从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。
? ? ? ?
A、有效论证 B、逻辑等值 C、重言式原则 D、以上都对
我的答案：D得分： 33.3分
2
【判断题】等值规则不允许用一个等值命题替换另一个命题。（） 我的答案：×得分： 33.3分
3
【判断题】演绎有效论证即是指结论能够从前提中逻辑推导出来的论证。（） 我的答案：√得分： 33.4分
4-8间接证明与简便证明已完成成绩： 100.0分
1
【单选题】在真值表检验中，目的是要给给定论证建立一个（）。
? ? ? ?
A、有效性 B、论证者 C、真值表 D、间接证明
我的答案：C得分： 33.3分
2
【判断题】演绎有效性是指前提真结论假是可能的。（） 我的答案：×得分： 33.3分
3
【判断题】针对“逻辑非”的电路图，不遵循逻辑算子“否定”的规则。（） 我的答案：×得分： 33.4分
第五章
5-1论证有效性证明（一）已完成成绩： 100.0分
1
【单选题】（）允许我们从所有情形推导出特殊情形。
? ? ? ?
A、全称例示规则 B、全称命题 C、真值表 D、以上都不对
我的答案：A得分： 33.3分
2
【单选题】
涉及量化的证明一般不用（）。
?
A、
真值函项规则
? B、
量化规则
? C、
量化等值规则
? D、
全称规则
我的答案：D得分： 33.3分
3
【判断题】任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。（）
我的答案：√得分： 33.4分
5-2论证有效性证明（二）已完成成绩： 100.0分
1
【单选题】蕴涵关系只有从（）来看才是成立的。
? ? ? ?
A、条件 B、结论 C、存在观点 D、推论
我的答案：C得分： 33.3分
2
【判断题】不能用量化等值和真值函项等值来决定做例示的位置。（） 我的答案：×得分： 33.3分
3
【判断题】存在例示不能在全称例示之前进行。（） 我的答案：×得分： 33.4分
5-3归谬法的其他应用已完成成绩： 100.0分
1
【单选题】要检验一个命题是否蕴涵另一个命题，需要把第一个命题当做前提，而把另一个
命题的否定命题当做另一个（），然后看看它能否推导出矛盾式。
? ? ? ?
A、矛盾 B、命题 C、结论 D、前提
我的答案：D得分： 33.3分
2
【单选题】要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。
? ? ? ?
A、矛盾 B、命题 C、结论 D、前提
我的答案：A得分： 33.3分
3
【判断题】要检验一个命题是否蕴涵另一个命题，只是需要看推导过程是否有矛盾。（） 我的答案：×得分： 33.4分
5-4一般量化理论已完成成绩： 100.0分
1
【单选题】在具体进行例示时，应注意全称例示和存在例示都必须总是涉及到管辖了这个命题其他部分的（）。
?
A、联词