一、数理逻辑
逻辑基本律：同一律(A=A)、矛盾律(A且!A为假)、排中律(A或!A为真)
(一)基本概念
1.命题逻辑基本概念：命题常项，命题变项，联结词，命题公式
（1）悖论：非命题
（2）联结词完备集：{非，或，与}，{与非^}，{或非}
（3）命题公式的表达：真值表、析取合取范式
（4）命题公式的可满足性问题：消解法
2.一阶逻辑基本概念：个体词（常项，变项，约束，自由。域），谓词（常项，变项），量词（辖域），一阶语言，谓词公式，解释
（1）个体词：客体
（2）谓词：客体的性质，客体之间的关系
（3）量词：任意，存在
（4）谓词公式的表达：前束范式
3.命题逻辑和一阶逻辑的关系
封闭的谓词公式在任何解释下都变成命题常项。
非封闭的谓词公式在某些解释下可以变成命题常项。
（二）等值式/算律
1.共有的等值式
（1）双重否定律、结合律、交换律、幂等律
（2）分配律、吸收律、德摩根律
（3）格的性质：零律、一律<
