逻辑学的奇妙世界：提升批判性思维和表达能力

作者简介

会计极速入职晋级

练习问题的解答

31.3 不完全性定理

31.2 命题逻辑的公理系统

31.1 公理和定理

第31章 公理系统

第30章 多重量化

29.3 如何表示是否为有效式

29.2 怎么解释都为真的逻辑公式

29.1 如果否定“有的哲学家是懒汉”会怎样

第29章 有效式

第28章 所有的哲学家都是懒汉，有的哲学家是懒汉

第27章 谓词逻辑的德·摩根定律

第26章 谓词逻辑的逻辑公式

25.2 全称命题和存在命题的符号化

25.1 单称命题、个体变项、论域

第25章 将“所有”和“有的（存在）”加进逻辑常项

24.3 制作真值表很有趣吗

24.2 从矛盾中可以得出任何结论

24.1 P≡Q的真值表

第24章 制作各种逻辑公式的真值表

23.2 假言的恒真式和演绎

23.1 回顾之前的内容

第23章 现在我们正在做什么

22.2 前件肯定式与后件否定式（对偶论证法）

22.1 确认A和A的对偶为等值

第22章 命题逻辑的逻辑定律（2）：加上假言

21.3 逻辑公式的定义

21.2 计算机和逻辑电路

21.1 假言的定义

第21章 假言的意义

20.3 命题逻辑的德·摩根定律

20.2 排中律

20.1 矛盾律

第20章 命题逻辑的逻辑定律（1）：关于否定、联言、选言

第19章 逻辑公式

18.3 使用符号的原因

18.2 选言的定义

18.1 联言的定义

第18章 联言和选言的意义

17.3 双重否定律

17.2 否定的定义

17.1 二值原理

第17章 否定的意义

16.4 逻辑常项决定逻辑学的涵盖范围

16.3 逻辑的本质在于语言的意义

16.2 “逻辑常项”是理解逻辑学最重要的概念

16.1 演绎重在形式

第16章 逻辑学是怎样的学问

第二篇 创制出表述逻辑的符号语言

第15章 第一篇的复习

14.2 把德·摩根定律运用于全称和存在相结合的命题

14.1 将全称和存在相结合这类命题的意义

第14章 将全称和存在相结合

13.4 “也存在”比“存在”包含的意义更多

13.3 即使野槌蛇不存在，也可以说“所有的野槌蛇……”

13.2 全称类似联言，存在类似选言

13.1 全称的否定即否定的存在，存在的否定即否定的全称

第13章 全称和存在的德·摩根定律

第12章 运用“所有”和“有的”的演绎

第11章 全称命题、存在命题、单称命题

第10章 归谬法

第9章 推移律

第8章 对偶论证法

7.4 将德·摩根定律和对偶相结合

7.3 “F是G”的相反、倒换、对偶

7.2 “如果P则Q”的相反、倒换、对偶

7.1 “如果”的意思

第7章 假言和相反、倒换、对偶

第6章 排除法

5.2 联言的否定即否定的选言，选言的否定即否定的联言

5.1 联言和选言

第5章 联言、选言和德·摩根定律

第4章 我们接下来要学什么

3.3 否定和反对

3.2 矛盾律与排中律

3.1 双重否定

第3章 否定

第2章 推理和演绎

第1章 命题和真假

第一篇 日常语言中的逻辑

前言

译者序

推荐序

文前

版权信息

封面

封面

版权信息

文前

推荐序

译者序

前言

第一篇 日常语言中的逻辑

第1章 命题和真假

第2章 推理和演绎

第3章 否定

3.1 双重否定

3.2 矛盾律与排中律

3.3 否定和反对

第4章 我们接下来要学什么

第5章 联言、选言和德·摩根定律

5.1 联言和选言

5.2 联言的否定即否定的选言，选言的否定即否定的联言

第6章 排除法

第7章 假言和相反、倒换、对偶

7.1 “如果”的意思

7.2 “如果P则Q”的相反、倒换、对偶

7.3 “F是G”的相反、倒换、对偶

7.4 将德·摩根定律和对偶相结合

第8章 对偶论证法

第9章 推移律

第10章 归谬法

第11章 全称命题、存在命题、单称命题

第12章 运用“所有”和“有的”的演绎

第13章 全称和存在的德·摩根定律

13.1 全称的否定即否定的存在，存在的否定即否定的全称

13.2 全称类似联言，存在类似选言

13.3 即使野槌蛇不存在，也可以说“所有的野槌蛇……”

13.4 “也存在”比“存在”包含的意义更多

第14章 将全称和存在相结合

14.1 将全称和存在相结合这类命题的意义

14.2 把德·摩根定律运用于全称和存在相结合的命题

第15章 第一篇的复习

第二篇 创制出表述逻辑的符号语言

第16章 逻辑学是怎样的学问

16.1 演绎重在形式

16.2 “逻辑常项”是理解逻辑学最重要的概念

16.3 逻辑的本质在于语言的意义

16.4 逻辑常项决定逻辑学的涵盖范围

第17章 否定的意义

17.1 二值原理

17.2 否定的定义

17.3 双重否定律

第18章 联言和选言的意义

18.1 联言的定义

18.2 选言的定义

18.3 使用符号的原因

第19章 逻辑公式

第20章 命题逻辑的逻辑定律（1）：关于否定、联言、选言

20.1 矛盾律

20.2 排中律

20.3 命题逻辑的德·摩根定律

第21章 假言的意义

21.1 假言的定义

21.2 计算机和逻辑电路

21.3 逻辑公式的定义

第22章 命题逻辑的逻辑定律（2）：加上假言

22.1 确认A和A的对偶为等值

22.2 前件肯定式与后件否定式（对偶论证法）

第23章 现在我们正在做什么

23.1 回顾之前的内容

23.2 假言的恒真式和演绎

第24章 制作各种逻辑公式的真值表

24.1 P≡Q的真值表

24.2 从矛盾中可以得出任何结论

24.3 制作真值表很有趣吗

第25章 将“所有”和“有的（存在）”加进逻辑常项

25.1 单称命题、个体变项、论域

25.2 全称命题和存在命题的符号化

第26章 谓词逻辑的逻辑公式

第27章 谓词逻辑的德·摩根定律

第28章 所有的哲学家都是懒汉，有的哲学家是懒汉

第29章 有效式

29.1 如果否定“有的哲学家是懒汉”会怎样

29.2 怎么解释都为真的逻辑公式

29.3 如何表示是否为有效式

第30章 多重量化

第31章 公理系统

31.1 公理和定理

31.2 命题逻辑的公理系统

31.3 不完全性定理

练习问题的解答

会计极速入职晋级

作者简介