&命题演算：公理系统
判断有效推理形式的方法
真值表法，归谬赋值法
生成有效推理形式的方法
公理系统和自然推演系统
公理系统的组成
符号库（初始符号）
形成规则（符号的使用）
公理（推演的起点）
变形规则（推演规则）
命题演算的公理系统L
初始符号：p1，p2……,非，蕴涵，括号
形成规则
1 p1,p2是合式公式
2 若A,B任意合式公式,则加上命题连接词非，蕴涵，括号，也是合式公式
3 所有合式公式由1 2构成
公理模式
L1：（A->（B->A））
L2：（（A->（B->C）））->（（A->B）->（A->C））
L3：（（非A）->（非B））->（B->A）
推演规则
分离规则MP
从（A->B）和A可得B
