文档介绍：（后无“错”字表示这句话正确） 2.【单选题】不完全性定理不属于逻辑系统四大定理。
3•逻辑主义的代表人物是哥德尔
4.【判断题】
觉主义属于数学四大流派。
54【判断题】
【学哲学是逻辑学的研究范畴。
通常称为单称命题。
69•复合命题论证是指前提或结论中至少有一个符合命题的论证。
70,包括一个或一个以上较短命题作为其自身的一部分的命题称为复合命题
71•负命题其实就是否定命题。
“否定”是复合命题的逻辑联结词。
条件命题可以分为充分，必要，充要条件命题
74•析取命题是指两个或两个以上对象可能性至少有一个存在或为真的复合命题。
以下属于无效论证的是并非P 合取 Q；非 P；所以Q
—个命题为真是另一个命题为真的充分条件的命题是条件命题
标志词“那么”后面的命题被称为后件
78•以下属于条件命题标识词的是如果则若则
79•条件命题的前件只能是直言命题。错 80•在汉语中，联结词“合取”又被称为联言
81•通常用或者来表达联结词“析取”
“充分条件假言
83•在汉语中，联结词“ 等
”又被称为“充分必要条件假言”或“充要条件假
言”
84•构造真值表，基于的逻辑算子规则不包括命题
85•下列逻辑关系中P为真一定能推出Q为真的是P蕴含Q
86•构造真值表时，需要考虑简单命题的数量。
列。
87•用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个真
“P ® ( P U Q )”属于重言式 89•真值函项等值是指如果两个命题必然具有相同的真值，那么它们就是真值函
项等值的。错
90•同一有效论证中,如果所有的前提为真，那么结论不一定为真。错
，如果结论能够被通过使用有效论证，逻辑等
，重言式
则从给定前提中一步一步地演绎出来，那么这个论证被表明是有效的。
92•以属于假言连锁论证形式的是 A、P；Q；\PUQ B、P；\PUQ D、
PUQ;0P;\Q
等值规则允许用一个等值命题替换另一个命题。
演绎有效论证即是指结论能够从前提中逻辑推导出来的论证。
95•用简便方法判定论证是否无效的第
步是写成横式
96•在真值表检验中，目的是要给给定论证建立一个真
97•用归谬法演绎出矛盾式后即代表证明结束。
。错
99•根据全称命题“每个东西都是老实人”可以推出A是老实人
100•全称示例规则允许我们从所有情形推导出特殊情形。
作为一个基本的逻辑规则,存在例示规则要求被引进的示例名称必须是前面
出现过的。错
蕴涵关系只有从存在观点来看才是成立的。
以下一定无效的论证是SAPPPAS
存在例示应当在全称例示之前进行
三段论的有效性证明只需要对大项做出预设。错
检验一个命题是否蕴含另一个命题，我们需要把一个命题当做前提，把另一个
命题的()当做另一个前提,看是否能推出矛盾。否定命题
要检验一个命题是否蕴涵另一个命题,只需要看推导过程中是否有矛盾。错
在具体进行例示时,全称例示和存在例示都必须总是涉及到管辖了这个命题其它部分的量词。
109 •以下表述不是矛盾关系的是P®P
110•关系命题可以符号化。
!
度。
，如果所有前提都为真，且论证形式正确，那么结论可能为真。
113 •在归纳论证中結论被确证或反驳只是诉诸于感觉经验的。
—个论证是归纳上强的，当且仅当,它是逻辑上正确的。
归纳概括是归纳论证结论中的一种，这种结论是一个全称命题
116 •归纳论证结论可能性的大小可以用概率来表示
,其所有前提均真而结论为假是不可能的。错
比y先岀
,x是y的充分条件，x 是 y
的必要条件
119 •以下不属于弥尔五法的是比较法
120•如果X在Y之前发生，那么X就是原因。错
—个结果的数值概率等于相对那个结果可获得的结果数除以可能结果的总
否定率是指把一个命题的概率与其否定的概率关联起来。
124.—阶逻辑是指在命题逻辑的基础之上引入存在量词和全称量词的一种逻辑。
哥德尔最先提出真与可证是两个不同的概念,认为可证的一定为真，真的不一
定可证。
—介逻辑又叫做谓词逻辑，是数理逻辑或现代逻辑的基础
演绎逻辑假定前提为真，同时告诉我们如何判定命题是否为真。错
“有效性对于真实的论证评价来说既不是充分的也不是必要的。”出自图尔
敏
社会的正义问题与逻辑学也有关系。
130•图尔敏