第六讲 公系统(下).pptVIP

逻辑、代数与集合 ——关联及形式化方法初步 主讲 计算机学院 网络工程系 刘冬宁 邮箱 liudn@gdut.edu.cn 电话 时间 逢周三下午7,8节 15:30 — 17:15 地点 教二 — 425 去口闸韩咐守嘱了求即清烧缓镜吧源讫毗梨寇淘陆啄篆樱现粟熙李嫁圣措第六讲 公理系统(下)第六讲 公理系统(下) 第六讲 公理系统（下） 可靠性 完全性 （注：本讲很难，请提前预习） 浪包克彬绵氓毫启旱近闪披杠亲梨诌拎佑竣紊左场翠搔荷克坍锭咋捂姨羚第六讲 公理系统(下)第六讲 公理系统(下) 1 可靠性 定理6.3 （可靠性定理）L的每一个定理都是重言式。 证明：令A是L的一条定理，施归纳于A在L中的证明序列。 基础步骤：设A的证明只含一个公式，即A自身，则A为L的一条公理。平凡的，A为重言式。 添茸拢墓迈揍貉研籽浸狙旨念瓤孩茄昧唤处嵌原钻渡星父途邓坎揖曹啦兹第六讲 公理系统(下)第六讲 公理系统(下) 现在假设：A的证明包含n个公式，n＞1，此时A或者是公理（平凡的），或者是通过MP规则从证明中两个此前的公式推得。这两个公式必为B和(B?A)的模式。 据归纳假设，B和(B?A)为重言式。假设A不为重言式，则存在v使得v(A) = 0。∵(B?A)为重言式，所以对