文档介绍：2021 逻辑学导论课后答案
逻辑学导论答案（后无“错”字表示这句话正确）
【单选题】不完全性定理不属于逻辑系统四大定理。
逻辑主义的代表人物是哥德尔
【判断题】直觉主义属于数学四大流派。
.【判断题】数学哲充分，必要，充要条件命题
析取命题是指两个或两个以上对象可能性至少有一个存在或为真的复合命题。
以下属于无效论证的是并非P合取Q；非P；所以Q
一个命题为真是另一个命题为真的充分条件的命题是条件命题
标志词“那么”后面的命题被称为后件
以下属于条件命题标识词的是如果则若则
条件命题的前件只能是直言命题。错
在汉语中,联结词“合取”又被称为联言
通常用或者来表达联结词“析取”
条件通常也被称为“充分条件假言
在汉语中,联结词“等值”又被称为“充分必要条件假言” 或“充要条件假言”
构造真值表,基于的逻辑算子规则不包括命题
下列逻辑关系中P为真一定能推出Q为真的是P蕴含Q
构造真值表时,需要考虑简单命题的数量。
用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个真值列。
命题“P ? ( P u Q )”属于重言式
真值函项等值是指如果两个命题必然具有相同的真值 , 那么它们就是真值函项等值的。错
同一有效论证中,如果所有的前提为真,那么结论不一定为真。错
根据形式演绎方法,如果结论能够被通过使用有效论证，逻辑等值，重言式原
则从给定前提中一步一步地演绎出来,那么这个论证被表明是有效的。
以属于假言连锁论证形式的是A、P；Q；\PUQB、P；\PJQ D、PuQ；?P；\Q
等值规则允许用一个等值命题替换另一个命题。
演绎有效论证即是指结论能够从前提中逻辑推导出来的论证。
用简便方法判定论证是否无效的第一步是写成横式
在真值表检验中,目的是要给给定论证建立一个真值表
用归谬法演绎出矛盾式后即代表证明结束。
演绎有效性是指前提真结论假是可能的。错
根据全称命题“每个东西都是老实人”可以推出 A 是老实人
全称示例规则允许我们从所有情形推导出特殊情形。
作为一个基本的逻辑规则 ,存在例示规则要求被引进的示例名称必须是前面出现过的。错
蕴涵关系只有从存在观点来看才是成立的。
以下一定无效的论证是 SAPTPAS
存在例示应当在全称例示之前进行
三段论的有效性证明只需要对大项做出预设。错
检验一个命题是否蕴含另一个命题 ,我们需要把一个命题当做前提,把另一个命题的 ()当做另一个前提 ,看是否能推出矛盾。否定命题
要检验一个命题是否蕴涵另一个命题 ,只需要看推导过
程中是否有矛盾。错
在具体进行例示时 ,全称例示和存在例示都必须总是涉及到管辖了这个命题其它部分的量词。
以下表述不是矛盾关系的是 P?P
关系命题可以符号化。
衡量归纳论证好与坏的根本标准是归纳强度。
在归纳论证中,如果所有前提都为真 ,且论证形式正确, 那么结论可能为真。
在归纳论证中,结论被确证或反驳只是诉诸于感觉经验的。
一个论证是归纳上强的,当且仅当,它是逻辑上正确的。
归纳概括是归纳论证结论中的一种 ,这种结论是一个全称命题
归纳论证结论可能性的大小可以用概率来表示
对于一个好的归纳论证 ,其所有前提均真而结论为假是不可能的。错
x与y要构成因果假设需要满足x比y先出现，x是y 的充分条件， x 是 y 的必要条件
以下不属于弥尔五法的是比较法
如果X在Y之前发生，那么X就是原因。错
演绎逻辑的现代化开始于莱布尼茨
一个结果的数值概率等于相对那个结果可获得的结果
数除以可能结果的总数
否定率是指把一个命题的概率与其否定的概率关联起来。
一阶逻辑是指在命题逻辑的基础之上引入存在量词和全称量词的一种逻辑。
哥德尔最先提出真与可证是两个不同的概念 ,认为可证的一定为真,真的不一定可证。
一介逻辑又叫做谓词逻辑 ,是数理逻辑或现代逻辑的基础
演绎逻辑假定前提为真 ,同时告诉我们如何判定命题是否为真。错
“有效性对于真实的论证评价来说既不是充分的也不是必要的。”出自图尔敏
129..的正义问题与逻辑学也有关系。
图尔敏是形式逻辑学家的重要代表
《论题篇》出自亚里士多德著作工具论
根据论证的前提与结论的支持关系 ,谬误可以分为三类 , 其中不包括（结论谬误）。
谬误只能是非形式逻辑错
对于 argumentation 的讨论,布莱尔倾向从逻辑学的角度来进行讨论
非单调逻辑的提出者是纽特
根据同一律 ,添加一致前提不影响结论真假 ,这种论证方式在唐纳德•纽特看来是单调的。
一般认为,非形式逻辑被认为是对形式的逻辑的一种超越。
以下不属于形式逻辑谬误的是诉诸