逻辑学导论7

&命题演算:公理系统

判断有效推理形式的方法

真值表法,归谬赋值法

生成有效推理形式的方法

公理系统和自然推演系统

公理系统的组成

符号库(初始符号)

形成规则(符号的使用)

公理(推演的起点)

变形规则(推演规则)

命题演算的公理系统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

你可能感兴趣的:(逻辑学导论7)