《数理逻辑导论》求取 ⇩

绪言1

第一篇　命题演算11

第一章　真值联结词12

1．命题及联结词12

2．指派与同真假性16

3．真值函数的作出22

4．联结词的归约28

5．真假指派的决定30

6．范式的化简35

7．同永真性与同可满足性41

第二章　命题演算的公理系统44

8．建立公理系统的必要性44

9．关于公理系统的一般注意48

10．命题演算永真公式的公理系统61

11．重要定理的推演68

12．推理定理与日常推理过程89

13．关于命题演算公理系统的讨论98

14．直觉系统逻辑的判定过程103

15．模态逻辑与多值逻辑109

第二篇　谓词演算117

第三章　量词与摹状词118

16．个体、谓词及函数118

17．变元123

18．量词130

19．摹状词136

20．自由与约束143

21．改名与代入147

22．个体域与指派157

23．同真假性164

24．永真性与可满足性172

25．同永真性与同可满足性182

第四章　狭义谓词演算永真公式的公理系统196

26．公理系统及若干注意196

27．重要定理的推演207

28．公理系统的另一表述230

29．推理定理和日常推理的讨论235

30．关于上述公理系统的讨论243

31．模态谓词演算与多值谓词演算248

第三篇　谓词演算（续）251

第五章　约束谓词演算252

32．有没有高级谓词及高级函数252

33．个体域、谓词域及主要指派264

34．同真假性270

35．次要永真公式的公理系统276

第六章　应用谓词演算284

36．应用谓词演算总论284

37．应用谓词演算与构造论逻辑291

38．同异性演算296

39．集合论演算303

第七章　全总谓词演算327

40．全总谓词演算的结构327

41．向典型形式系统的化归331

42．典型形式系统化归为约束词演算及λ换位演算334

43．λ换位演算化归为组合逻辑343

参考文献357