论证有效性证明(一)
1
【单选题】()允许我们从所有情形推导出特殊情形。
A、全称例示规则 B、全称命题 C、真值表
D、以上都不对
我的答案:A得分: 分
2
【单选题】涉及量化的证明需要利用()。
A、真值函项规则 B、量化规则 C、量化等值规则
D、归谬法
我的答案:C得分: 分
3
【判断题】任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。()
我的答案:√ 得分: 分
论证有效性证明(二)
1
【单选题】蕴涵关系只有从()来看才是成立的。
A、条件
B、结论 C、存在观点
D、推论
我的答案:C得分: 分
2
【判断题】不能用量化等值和真值函项等值来决定做例示的位置。() 我的答案:×得分: 分
3
【判断题】存在例示不能在全称例示之前进行。() 我的答案:×得分: 分
归谬法的其他应用
1
【单选题】要检验一个命题是否蕴涵另一个命题,需要把第一个命题当做前提,而把另一个命题的否定命题当做另一个(),然后看看它能否推导出矛盾式。
A、矛盾 B、命题 C、结论
D、前提
我的答案:D得分: 分
2
【单选题】要检验一个命题是否是矛盾式,即以该命题作为前提进行推导,看看能否推导出()。
A、矛盾 B、命题
C、结论
D、前提
我的答案:A得分: 分
3
【判断题】要检验一个命题是否蕴涵另一个命题,只是需要看推导过程是否有矛盾。() 我的答案:×得分: 分
一般量化理论
1
【单选题】在具体进行例示时,应注意全称例示和存在例示都必须总是涉及到管辖了这个命题其他部分的()。
A、联词 B、名词 C、量词
D、介词
我的答案:C得分: 分
2
【单选题】在具体进行例示时,必须注意不要混合使用或用完证明中有用的()。
A、字母 B、数字 C、联词
D、量词
我的答案:A得分: 分
3
【判断题】关系命题不可以符号化。()
相关推荐: