本系列文章主要讲解 形式逻辑，系列文章总纲链接为：形式逻辑总纲
本章节思维导图如下所示（思维导图会持续迭代）：
1 逻辑概述
1.1 判断及其分类
@1 判断的定义：判断是对事物情况有所断定的思维形式。 例如: 现在是春天、一加一等于三、我今天没有吃早饭 。
@2 判断的特征
有所断定：如果对对象既无所肯定，也无所否定，那不是判断。
有真有假：判断是对客观事物有所断定的一种思维类型，是对客观事物情况的反映， 而不是客观事物本身。因此，就存在是否真实地反映客观事物实际的问题。
@3 判断的分类
1.2 推理及其分类
@1 推理的定义：推理就是根据一个或一些判断得出另一个判断的思维过程。起源于 亚里士多德的三段论（包括大前提、小前提、结论三个部分）比如：
室内物体的颜色是白色的（大前提）; 室外物体所以的颜色与室内一样（小前提）; 所以，室外物体的颜色是白色的（结论）。
只有获得律师资格证书才能当律师（大前提）; 张三还没有获得律师资格证书（小前提）; 所以，张三不能当律师（结论）。
@2 推理的分类
根据前提与结论中是否包含有“必然”、“可能”等模态词，将推理划分为：
模态 判断推理：包含有“必然”、“可能”等模态词。
非模态判断推理：不包含有“必然”、“可能”等模态词。
根据前提到结论的思维进程的不同，将非模态推理分为：
演绎推理:由一般性前提到个别性结论。
归纳推理:由个别性前提到一般性结论。
类比推理:由个别性前提到个别性结论。
根据结论性质的不同，分为：
必然性推理:结论断定的范围没有超过前提断定的范围。包括演绎推理和完全归纳推理。必然性推理当前提真且形式真则结论必然真。
或然性推理:结论断定的范围超过了前提断定的范围。包括不完全归纳推理和类比推理。或然性推理的结论不是必然真。
根据前提所含判断是一个还是两个或以上，分为：
直接推理:以一个判断为前提。
间接推理:以两个或两个以上的判断为前提。
2 负判断
2.1 负判断基础
负判断的定义：负判断就是否定某个判断所得到的判断，又叫判断的否定。设原判为 p，则该判断的负判断为“-p”。如果原判断是“我今天没有吃早饭”， 其负判断为“并非(我今天没有吃早饭)” 。
负判断常用联结词:在日常语言中， “非......”、“......是假的”、“不是......”等，都是“并非”的意思。如:“并非 p”、 “并不 p”、 “不是 p”、 “非 p”、 “p 是假的”等。
案例：莎士比亚在《威尼斯商人》中，写富家少女鲍细娅品貌双全，贵族子弟、公 子王孙纷纷向她求婚。鲍细娅按照其父遗嘱，由求婚者猜盒定婚。鲍细娅有金、银、铅三 个盒子，分别刻有三句话，其中只有一个盒子，放有鲍细娅肖像。求婚者通过这三句话， 猜中鲍细娅的肖像放在哪只盒子里，就嫁给谁。三个盒子上刻的三句话分别是:
金盒子:“肖像不在此盒中。” 逻辑转换（肖像 非金）
银盒子:“肖像在铅盒中。” 逻辑转换（肖像 铅）
铅盒子:“肖像不在此盒中。” 逻辑转换（肖像 非铅）
已知这三句话中只有一句真话，请问肖像在哪个盒子中?（分析：通过逻辑转换可以看到 2和3矛盾，必有一真因此1为假，即 肖像子啊金盒子中，因此答案为a）
a.金盒子 b.银盒子 c.铅盒子 d.不在任何盒子中 e.无法确定
2.2 负判断的逻辑值
负判断“并非 p”与原判断“p”之间具有矛盾关系。逻辑真值表如下：
案例：一家珠宝店的珠宝被盗，经查可以肯定是甲、乙、丙、丁四人中的某一个人所 为。审讯中，他们四人各自说了一句话。
甲说:“我不是罪犯。” 逻辑转换（甲 非罪）
乙说:“丁是罪犯。”。 逻辑转换（丁 罪）
丙说:“乙是罪犯。” 逻辑转换（乙 罪）
丁说:“我不是罪犯。” 逻辑转换（丁 非罪）
经调查证实，四人中只有一个人说的是真话。根据以上条件，下列哪个判断为真?( ) （分析：通过逻辑转换可以看到 2和4 矛盾，必有一真因此1 3 为假，即 甲说的是假话，甲是罪犯，乙不是罪犯，因此答案为a）
a. 甲说的是假话，甲是罪犯。
b. 乙说的是真话，丁是罪犯。
c. 丙说的是真话，乙是罪犯。
d. 丁说的是假话，丁是罪犯。
e. 条件不足，无法确定罪犯。