数理逻辑的公理化理论.ppt

关于数理逻辑的公理化理论 第1页，共20页，2022年，5月20日，23点31分，星期四 第十二章 数理逻辑的公理化理论 推理部分: 系统中的公理, 基本规则以及给出的系统中证明与定理的概念 公理：按学科要求给出推理中最基本的事实 基本规则：一种动态推理公式, 分原始规则与导出规则 证明: 是一种由公理及推理规则按一定语法规则所进行的动态过程, 并产生一个公式串. 定理: 由公理及推理规则按证明过程所得的结果 第2页，共20页，2022年，5月20日，23点31分，星期四 12.1 公理化理论的基本思想 1) 系统的不矛盾性 系统的不矛盾性是对公理系统的最基本要求 2) 系统的完备性 相对完备性: 一个为某学科建立的公理系统, 该学科中的所有定理和规则均能由系统推出 绝对完备性: 一个公理系统中如果将任一个非定理的公式作为公理加入系统后, 所得到的系统均为矛盾的系统 一个系统最好是完备的或相对完备的, 但允许不完备 3) 系统的独立性 系统中的每条公理均不能由其他公理推出 一个系统可以是不独立的 第3页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 命题逻辑永真公式的公理系统 1. 系统的组成部分 1) 基本符号 命题: P,Q,R,…; 联结词: ?,∧,∨,→,? 括号: (,) 2) 公式 命题是公式 如P,Q是公式, 则(P∧Q), (P∨Q), (P→Q), (P?Q)是公式 公式由且仅由有限次使用(1)(2)而得 第4页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 2. 系统的推理部分 1) 公理 如P,Q,R为公式, 则有下述的公理: (1) P → P (2) (P→(Q→R)) → (Q→(P→R)) (3) (P→Q) → ((Q→R)→(P→R)) (4) (P→(P→Q)) → (P→Q) (5) (P?Q) → (P→Q) (6) (P?Q) → (Q→P) (7) (P→Q) → ((Q→P)→(P?Q)) 第5页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 (8) P∧Q → Q (9) P∧Q → P (10) P → (Q→P∧Q) (11) P → P∨Q (12) Q → P∨Q (13) (Q→P) → ((R→P)→(Q∨R→P)) (14) (P→?Q) → (Q→?P) (15) ??P → P 第6页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 2) 推理过程 分离规则: P→Q, P├Q 3) 证明与定理 证明给出了公理系统中定理生成的过程, 它是一个公式序列: P1,P2,…,Pn, 其中每个Pi(i=1,2,…,n)必须满足下列的条件之一. (1) Pi是公理 (2) Pi是由Pk, Pr (k,ri)施行分离规则而得 最后Pn=Q即为定理. 此公理系统是不矛盾, 完备的(相对完备与绝对完备),但它不是独立. 第7页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 例12.1 试证P∨Q → Q∨P 证明: (1) Q → Q∨P 公(12) (2) P → Q∨P 公(11) (3) (P→Q∨P) → ((Q→Q∨P)→(P∨Q→Q∨P)) 公(13) (4) ((Q→Q∨P)→(P∨Q→Q∨P)) 分(3),(2) (5) P∨Q → Q∨P 分(4),(1) 证明的每一步后面都附有说明叫证明根据. 第8页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 只要公理系统中有蕴含式为公理, 则可必可同时得到一个推理规则, 由这种方法所推得的规则叫导出规则. 利用导出规则可以从前面15条公理得到15条导出规则: 规则1 P ├ P 规则2 P→(Q→R) ├ Q→(P→R) 规则3 P→Q, Q→R ├ P→R 规则4 P→(P→Q) ├ P→Q 规则5 P?Q ├ P→Q 规则6 P?Q ├ Q→P 第9页，共20页，2022年，5月20日，23点31分，星期四 12.2.1 命题逻辑的公理化理论 规则7 P→Q, Q→P ├ P?Q 规则8 P∧Q ├ Q 规则9 P∧Q ├ P 规则10 P, Q ├ P∧Q 规则11 P ├ P∨Q 规则12 Q ├ P∨Q 规则13 Q→P, R→P ├ Q∨R→P 规则14 P