数理逻辑-逻辑公理系统马帅计算机学院.PDF

数理逻辑-(3)逻辑公理系统 马殿富 北航计算机学院 马 帅 dfma@buaa.edu.cn 计算机学院 2012-12 mashuai@buaa.edu.cn 提纲  3.1 逻辑公理系统  3.2 命题逻辑公理系统  3.3 谓词逻辑公理系统  3.4 定理证明  3.5 公理系统性质  3.6 理论与模型  3.7 判定问题 计算机学院 计算机学院 2 2 欧几里德几何学  欧几里德 （325 BC -265 BC ），古希腊数学家；  《几何原本》是一个实质公理系统 • 把点、线、面、角等分为原始定义概念（23）和可定 义概念； • 命题分为公理（5）、公设（5）； • 由公理公设出发加以证明的定理（467）  从简单到复杂，证明相当严格。从而建立了欧几里 得几何学的第一个公理化数学体系。  公理  公设  1 ．等于同量的量彼此相等。  1. 由任意一点到另外任意一点可以画直线。  2 ．等最加等量，其和仍相等。  2. 一条有限直线可以继续延长。 计算机学院  3 ，等量减等量，其差仍相等。  3. 以任意点为心及任意的距离可以画圆。  4 ．彼此能重合的物体是全等的。  4.凡直角都彼此相等。  5 ．整体大于部分。  5 ．(平行公设)若一直线与两直线相交，且若 同侧所交两内角之和小于两直角，则两直线 无限延长后必相交于该侧的一点。 计算机学院 3 3 逻辑命题真值  在自然数论域中 • x(N(x) 0 ≤x)是真 ； • x (N(x) y(N(y)  x ≤y))是真 ； • xy(N(x)N(y)  x+y = y+x) 是真 ； • xy(N(x) N(y)  x+y ≤y)是假。  在自然数论域上，表达具体概念 • 对象： x ，y • 常量：0 ； 计算机学院 • 运算：+ ； • 谓词：N() ； • 关系： ≤，=  通过思想判断命题真值，判断依据在头脑中。 计算机学院 4 4 自然数公理—表达思想的初始概念  基本概念： • 0; • 数n; • 数n 的后继n 。  自然数公理： • 1 ．0是自然数. 皮亚诺 （1858-1932） • 2 ．对每个自然数n ，存在另一后继自然数n 。 计算机学院 • 3 ．没有自然数n ，使得n 等于0 。 • 4 ．对任意的自然数m和n ，如果m’=n’，那