D、以上均不对
正确答案：C
3、在真值表检验中,目的是要给给定论证建立一个（）。
A、有效性
B、论证者
C、真值表
D、间接证明
正确答案：C
4、用归谬法演绎出矛盾式后即代表证明结束。（）
正确答案：√
5、演绎有效性是指前提真结论假是可能的。（）
正确答案：X
5.1论证有效性证明（一）
1、根据全称命题“每个东西都是老实人”可以推出（）。
A、A一定不是老实人
B、A可能不是老实人
C、A应该不是老实人
D、A是老实人
正确答案：D
2、（）允许我们从所有情形推导出特殊情形。
A、全称例示规则
B、全称命题
C、真值表
D、存在例示规则
正确答案：A
3、作为一个基本的逻辑规则,存在例示规则要求被引进的示例名称必须是前面出现过的。（）
正确答案：X
4、任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。（）
正确答案：√
5.2论证有效性证明（二）
1、蕴涵关系只有从（）来看才是成立的。
A、条件
B、推论
C、存在观点
D、结论
正确答案：C
2、以下一定无效的论证是（）。
A、SAPÞSEP
B、SAPÞSIP
C、SAPÞSOP
D、SAPÞPAS
正确答案：D
3、命题“P蕴含Q”表示P合取非Q是可以成立的。
正确答案：X
4、存在例示应当在全称例示之前进行。
正确答案：√
5.3归谬法的其他应用
1、检验一个命题是否蕴含另一个命题,我们需要把一个命题当做前提,把另一个命题的（）当做另一个前提,看是否能推出矛盾。
A、必要条件命题
B、充分条件命题
C、否定命题
D、等值命题
正确答案：C
2、从存在观点看,三段论的四个格共有（）个有效式。
A、4
B、8
C、16
D、24
正确答案：D
3、要检验一个命题是否蕴涵另一个命题,只需要看推导过程中是否有矛盾。（）
正确答案：X
4、三段论的有效性证明只需要对大项做出预设。（）
正确答案：X
5.4一般量化理论
1在具体进行例示时,全称例示和存在例示都必须总是涉及到管辖了这个命题其它部分的（）。
A、联词
B、名词
C、介词
D、量词
正确答案：D
2以下表述不是矛盾关系的是（）。
A、Ø(PÙØP)
B、PÚØP
C、P®P
D、ØPÚØØP
正确答案：C
3关系命题可以符号化。（）
赞题库
