现代逻辑PDF电子书下载

第一章 命题逻辑(一) 素朴演绎 1

1.1 演绎例释 1

1.2 一般规则 3

1.3 条件命题 7

1.4 合取命题 15

1.5 双边条件命题 17

1.6 定理 元定理 衍生规则 19

1.7 蕴涵关系与等值关系 25

1.8 析取命题 28

1.9 否定 33

第二章 一阶谓词逻辑(一) 量词的素朴应用 45

2.1 命题的分析 45

2.2 命题函式与量词 47

2.3 自由变项与约束变项 49

2.4 本系统所用材料 51

2.5 全称量词 53

2.6 存在量词 60

2.7 衍生规则 66

2.8 关于三段论 69

2.9 关系的若干性质 78

第三章 命题逻辑(二) 真值表 93

3.1 真值表 93

3.2 重言式 99

3.3 十六个双项算符 107

3.4 范式 113

3.5 I，N，R，D 121

3.6 公理化 126

3.7 命题逻辑的若干性质 131

第四章 一阶谓词逻辑(二) 137

4.1 谓词逻辑的范围 137

4.2 有效性概念 141

4.3 谓词逻辑的公理化 147

4.4 谓词逻辑的若干性质 152

4.5 同一关系 156

4.6 类与关系 160

4.7 关于类与关系的几点补充 170