推理与证明 现代逻辑的技巧2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

推理与证明 现代逻辑的技巧PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录1

前言1

第一章真假的探索1

——谁是犯人？谁是吸血鬼？哪些是逻辑规律？1

1．推理与证明1

2．符号的引入4

3．真值表5

4．消去法推理7

5． 消去规则10

6．逻辑尺11

7． 矛盾和逻辑规律14

8． 归谬法16

9． 正确的推论与永真式19

10．消去法推理与永真式21

11．用反证法判定逻辑规律25

12．反证法的扩展27

13．假定法30

14．分析与综合31

15．逻辑性的分析33

16．新反证法35

17．消去法与反证法39

第二章存在与无43

——犯人存在吗？狼孩存在吗？逻辑学者做了哪些讨论？18．关于存在的问题43

19．文恩图44

20．全称命题的存在假定47

21．文恩图的使用方法47

22．文恩图的代数原理50

23．吸血鬼、狼孩与逻辑52

第三章个体与属性57

——吸血鬼害怕阳光吗？渎职议员有罪吗？逻辑规律被反证了吗？24．主词与谓词57

25．存在符号与全称符号58

26．含量化式的推理60

27．确定个体域、符号化须注意的问题62

28．逻辑一警察出场64

29．量化式的真值条件66

30．自由变项与约束变项68

31．有效性71

32．解释表的二个写法74

33．量词的移动77

34．量化构造的单纯化与有效性的检验81

35．量化构造单纯化的技巧84

36．含有自由变项式的有效性86

37．新反证法的扩展87

38．分析的规则90

39．小结与问题94

第四章复杂的关系101

——你的父亲是谁？你的孩子是谁的孩子？你理解了这些逻辑关系吗？40．关系与二元谓词101

41．关系与量词104

42．关系命题的真值条件107

43．关系的性质和关系109

44．血缘关系110

45．血统与祖先113

46．非亲属关系115

47．对关系的补充118

48．存在着能理解所有关系的读者吗？119

第五章问题的解答125