2016年尔雅逻辑学导论篇篇测验满分答案(篇篇五至七).docxVIP

5.1论证有效性证明（一） 1 【单选题】（）允许我们从所有情形推导出特殊情形。 窗体顶端 A、 HYPERLINK /work/javascript:void(0) \t /work/_blank 全称例示规则 B、 HYPERLINK /work/javascript:void(0) \t /work/_blank 全称命题 C、 HYPERLINK /work/javascript:void(0) \t /work/_blank 真值表 D、 HYPERLINK /work/javascript:void(0) \t /work/_blank 以上都不对 我的答案：A得分：?33.3分 窗体底端 2 【单选题】涉及量化的证明需要利用（）。 窗体顶端 A、 HYPERLINK /work/javascript:void(0) \t /work/_blank 真值函项规则 B、 HYPERLINK /work/javascript:void(0) \t /work/_blank 量化规则 C、 HYPERLINK /work/javascript:void(0) \t /work/_blank 量化等值规则 D、 HYPERLINK /work/javascript:void(0) \t /work/_blank 归谬法 我的答案：C得分：?25.0分 窗体底端 3 【判断题】任何一个包括全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。（） 我的答案：√ 得分：?25.0分 5.2论证有效性证明（二） 1 【单选题】蕴涵关系只有从（）来看才是成立的。 窗体顶端 A、 HYPERLINK /work/javascript:void(0) \t /work/_blank 条件 B、 HYPERLINK /work/javascript:void(0) \t /work/_blank 结论 C、 HYPERLINK /work/javascript:void(0) \t /work/_blank 存在观点 D、 HYPERLINK /work/javascript:void(0) \t /work/_blank 推论 我的答案：C得分：?33.3分 窗体底端 2 【判断题】不能用量化等值和真值函项等值来决定做例示的??置。（） 我的答案：×得分：?33.3分 3 【判断题】存在例示不能在全称例示之前进行。（） 我的答案：×得分：?33.3分 5.3归谬法的其他应用 1 【单选题】要检验一个命题是否蕴涵另一个命题，需要把第一个命题当做前提，而把另一个命题的否定命题当做另一个（），然后看看它能否推导出矛盾式。 窗体顶端 A、 HYPERLINK /work/javascript:void(0) \t /work/_blank 矛盾 B、 HYPERLINK /work/javascript:void(0) \t /work/_blank 命题 C、 HYPERLINK /work/javascript:void(0) \t /work/_blank 结论 D、 HYPERLINK /work/javascript:void(0) \t /work/_blank 前提 我的答案：D得分：?33.3分 窗体底端 2 【单选题】要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。 窗体顶端 A、 HYPERLINK /work/javascript:void(0) \t /work/_blank 矛盾 B、 HYPERLINK /work/javascript:void(0) \t /work/_blank 命题 C、 HYPERLINK /work/javascript:void(0) \t /work/_blank 结论 D、 HYPERLINK /work/javascript:void(0) \t /work/_blank 前提 我的答案：A得分：?33.3分 窗体底端 3 【判断题】要检验一个命题是否蕴涵另一个命题，只是需要看推导过程是否有矛盾。（） 我的答案：×得分：?33.3分 5.4一般量化理论 1 【单选题】在具体进行例示时，应注意全称例示和存在例示都必须总是涉及到管辖了这个命题其他部分的（）。 窗体顶端 A、 HYPERLINK /work/javascript:void(0) \t /work/_blank 联词 B、 HYPERLINK /work/javascript:void(0) \t /work/_blank 名词 C、 HYPERLINK