&命題演算：公理系統(tǒng)
判斷有效推理形式的方法
真值表法怔毛，歸謬賦值法
生成有效推理形式的方法
公理系統(tǒng)和自然推演系統(tǒng)
公理系統(tǒng)的組成
符號庫（初始符號）
形成規(guī)則（符號的使用）
公理（推演的起點）
變形規(guī)則（推演規(guī)則）
命題演算的公理系統(tǒng)L
初始符號：p1皇拣，p2……,非奠骄，蘊涵，括號
形成規(guī)則
1 p1,p2是合式公式
2 若A,B任意合式公式,則加上命題連接詞非维咸，蘊涵，括號，也是合式公式
3 所有合式公式由1 2構(gòu)成
公理模式
L1：（A->（B->A））
L2：（（A->（B->C）））->（（A->B）->（A->C））
L3：（（非A）->（非B））->（B->A）
推演規(guī)則
分離規(guī)則MP
從（A->B）和A可得B
