本系列文章主要讲解 形式逻辑，系列文章总纲链接为：形式逻辑总纲
 

本章节思维导图如下所示（思维导图会持续迭代）：
 
 

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. 条件不足，无法确定罪犯。
 
 
 

负判断
 
1) 负判断是否定某个判断所得到的判断，又称为判断的否定。
 
2) 负判断的逻辑形式：并非P 或者 ¬P 
 　　Ⅰ. 肢判断P ： 这个P可以是任何类型的判断。 
 　　Ⅱ. 联结项： “并非” 或 “¬” 
 　　 
 3) 负判断的常用联结词： 
 　　“非…” 、”…是假的”、”不是…”等，都是并非的意思。 
 　　 例如：”并非P”、”并不P”、”不是P”、”非P”、”P是假的等” 
 　　 
 4) 负判断的逻辑值 
 负判断 “并非P” 和 原判断 “P”之间具有矛盾关系。
 
P
¬P
真
假
假
真
 
 
联言判断
 
1) 定义： 
 　联言判断就是断定几种事物情况同时存在的判断。逻辑形式：p且q 
 　 
 2) 组成： 
 　联言肢：两个或两个以上，一般用符号P、Q表示 
 　联结项：用逻辑符号”∧”表示，读作”并且” 　 
 　 
 3) 例子： 
 　一个二肢联言判断的逻辑形式为： 
 　语言表达式： P并且Q ， 符号表达式：P ∧ Q 
 　 
 4) 相似表达： 
 　与”且”相似的表达： 
 　a. 　P并且Q 
 　b.　既Ｐ又Ｑ 
 　c.　Ｐ而且Ｑ 
 　d.　Ｐ, 而Q 
 　e.　Ｐ, 却Q 
 　f.　 不但P, 而且Q 
 　g.　虽然P,但是Q 
 　 
 5) 联言判断的逻辑值 (真值表)
 
P
Q
P ∧ Q
真
真
真
真
假
假
假
真
假
假
假
假
 

 6) 通过真值表总结联言判断的逻辑特征：一假则假，同真则真。
 
 
联言推理
 
联言推理就是前提或结论为联言判断，并且依据联言判断的真假特征进行的推理。
 
例如： 
 　Ⅰ. 　P ∧ Q ⇒ P　 即： (P ∧ Q) 真 ⇒ P真 
 　Ⅱ. 　P ∧ Q ⇒ Q　即： (P ∧ Q) 真 ⇒ Q真 
 　Ⅲ.　 P， Q ⇒ P ∧ Q 　即：　P真， Q真 ⇒ (P ∧ Q) 真
 
备注：“⇒”为推出符号。
 
 
寄语：
 
 
 
       所有的非凡，一定伴随着数不尽的跌倒与创伤；所有的辉煌，一定伴随着数不清的挫折与忧伤。没有一件事情可以让你一步登天，更没有一件事情可以将你彻底打垮。慢慢走，别放弃，总有一天会走到柳暗花明。早安！
 
 
— 人民日报
 

性质判断
 
1) 性质判断：就是断定对象具有或不具有某种属性的判断 (也称为直言判断或直言命题)。 例如： 这个人是律师。
 
2) 性质判断的构成 
 　Ｉ. 主项：表示被断定对象的概念，用 “S” 表示 
 　Ⅱ. 谓项：表示被断定对象性质的概念，用 “P”表示 
 　Ⅲ. 联项：也称联结项，它是联结主项和谓项的概念，它表示性质判断的“质”，分为肯定和否定两种。 一般用“是”和 “不是”表示。 
 　Ⅳ. 量项： 表示所断定的主项的数量或范围的概念。量项又分为三种： 
 　　a) 全称量项： 对主项的全部外延做了断定，所有的，凡、任何一个。 
 　　b) 特称量项： 只对主项的部分外延做了断定。有些，有的。 
 　　c) 单称量项： 所断定的主项只是某一个个别对象。这个、那个。 
 
3) 性质判断的分类： 根据性质判断质和量的划分，一共有六种类型。 
 　Ｉ. 单称肯定判断：断定一个具体的对象具有某种性质的判断。逻辑形式：这个Ｓ是Ｐ，例如：中国是人口大国。 
 　Ⅱ. 单称否定判断：断定一个具体的对象不具有某种性质的判断。逻辑形式：这个S不是P。例如：中国不是发达国家。 
 　Ⅲ. 全称肯定判断： 断定一类对象都具有某种性质的判断。逻辑形式：所有S是P。例如：所有学生都是青年人。 
 　Ⅳ. 全称否定判断： 断定一类对象中全体对象都不具有某种性质的判断。逻辑形式：所有S不是P。例如：所有学生都不是老年人。 
 　Ⅴ. 特称肯定判断： 断定一类对象中有对象具有某种性质的判断。逻辑形式：有的S是P. 例如：有些学生是文科学生。 
 　Ⅵ. 特称否定判断： 断定一类对象中有对象不具有某种性质的判断。
 
4) 量项“所有”、“有的”的替代表达形式 
 　Ｉ. 与 “所有” 相似的表达：一切，任何，凡是，每一个，皆等。 
 　Ⅱ. 与 “有的” 相似的表达：有些，许多，大多数、不少等。
 
5) 同一素材的判断：如果两个性质判断的主、谓项均相同，那么这两个判断就是同一素材的判断。例如： 
 　Ｉ. 所有的产品都是合格的 
 　Ⅱ. 所有的产品都不是不合格的。
 
6) 性质判断的对当关系： 
 　Ｉ. 矛盾关系： 
 　　ａ) 矛盾关系的特点： 必有一真，必有一假。 
 　　b) 矛盾关系的本质：A与非A的关系 (A表示任何判断) 
 　　c) 性质判断之间的矛盾关系： 
 　　　“所有的Ｓ都是Ｐ” 与 “有的S不是P” 
 　　　“所有的S都不是P” 与 “有的S是P” 
 　　　“这个S是P” 与 “这个S不是P” 
 　Ⅱ. 反对关系： 
 　　ａ) 性质判断之间反对关系： 
 　　“所有的S都是P” 与 “所有的S都不是P” 
 　　“有的S不是P” 与 “有的S都是P” 
 　　b) 反对关系的特点： 
 　　　两个 “所有” 至少一假，可以同假。 
 　　　两个 “有的” 至少一真，可以同真。
 
 
性质判断的变形推理
 
1) 换置推理：就是通过改变前提的质(肯定改为否定，否定改为肯定），从而得出结论的直接推理方法。 
 例如：所有考生都是中国人，所以，所有考生都不是外国人。 
 　Ｉ. 换置必须遵守的规则： 
 　　① 主项和量项保持不变 
 　　② 谓项变成其矛盾概念，亦”P”变为”非P”。 
 　　③ 改变联项的性质，即肯定变否定；否定变肯定。 
 　 
 　Ⅱ. 换置推理的逻辑形式： 
 　　① 所有S是P　换置得　所有Ｓ不是非Ｐ 
 　　② 所有S不是P　换置得　所有Ｓ是非Ｐ 
 　　③ 有的S是P　换置得　有的S是非P
 
2) 换位推理：就是交换前提中主谓项的位置，从而得出结论的直接推理。例如： 所有考生都不是外国人，所以，所有外国人都不是考生。 
 　Ⅰ. 换位必须遵守的规则：不改变前提的质，只改变主谓项的位置 
 　　① 所有S是P　可换位得　有的P是S 
 　　② 所有S不是P　可换位得　所有P不是S 
 　　③ 有的S是P　可换位得　有的P是S 
 　　④ 有的S不是P　可换位得　有的P不是S 
 　　 
 　　
 
 
寄语
 
 
 
    船停在码头是最安全的，但那不是造船的目的；人待在家里是最舒适的，但那不是人生的追求。回首过往你会发现，最清晰的脚印，往往印在最泥泞的道路上。放松心态，努力前行，不辜负每一天。早安！
 
 
— 人民日报
 

 
 
   if条件语句里数据类型的逻辑判断与分析 
 
 
在写编写代码前，理顺逻辑顺序是非常重要的第一步。
 
 
 
代码里面逻辑关系是第一步，那么逻辑里面免不了会使用到条件判断语句了。
 
 

 
今天主要讲解我对if语句里数据类型的逻辑判断问题一些见解，不能以偏概全，姿势个人的经验总结。
 
我就是在这个if条件语句里踩过坑的人。
 *if条件语句执行的条件，说白了就是非真既假的执行方式。执行if下面的语句就看条件满不满足。满足条件就往下执行，不满足就不执行。
 
看似很简单的逻辑，但是在实际应用的时候，会遇到各种各样的实际问题。
 
有时候，逻辑关系自己理清了，但是要通过代码写出来实现告诉编译器，按照人的思想和意愿去执行想要的一个运行结果，往往并不容易。这里就是不逻辑问题了，还是逻辑代码转换能力了。
 
知与行，还隔着代码的书写和表达能力上。
 
言归正传，步入主题。
 
1，if条件语句
 
if...else..