《现代逻辑》求取 ⇩

第一章命题逻辑(一) 素朴演绎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，D121

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