《数理逻辑引论》求取 ⇩

目录1

Ⅰ命题演算1

§1 引言1

§2 命题与符号3

§3 逻辑联结词7

§4 命题变量与真值函数（命题公式）18

§5 真值函数类27

§6 真值函数的等价变换（命题公式的等价变换）—逻辑联结词的互相转化32

§7 对偶律52

§8 永真蕴含58

§9 真值函数类的势70

§10 其他逻辑联结词77

§11 逻辑联结词的功能完备集85

§12 古典命题逻辑中逻辑联结词的总体91

§13 命题演算系统的一个纯算术模型及其应用94

§14 真值函数的范式与正则范式108

§15 范式的编码135

§16 真值函数的各种表示法（波兰式与142

逆波兰式）142

§17 命题演算的演绎理论154

§18 定理证明的自动化181

Ⅱ 谓词演算196

§19 引言—命题演算的局限性196

§20 命题与谓词197

§21 命题函数（谓词公式）与量词203

§22 自由变元与约束变元（或自由变量与224

约束变量）224

§23 有效公式与等价性237

§24 谓词演算的演绎理论254

§25 含有多个量词的谓词公式265