DM02-命题演算.pdf

命题逻辑的 等值演算和推理演算 申丽萍 lpshen@sjtu.edu.cn 主要内容  公式间的等值关系与等值演算  利用真值表列写公式  联结词的完备集  对偶定理  范式和主范式  公式间的重言蕴涵关系与推理演算 公式间的等值关系  一种重要的数学论证方法是:将一个命题用另 一个等值命题替换.  给定两个命题公式和,设P ,…, P 是出现在 1 n n 和 中的所有命题变项. 若在所有解释(共2 个) 下和 的真值都相同, 就称和 等值(或逻辑 等价,logical equivalence).记作 = (或 ).  例如: PQ = P  Q  这两个公式语法上是不同的,但语义上相同(即有相同意 义). Lu Chaojun, SJTU 3 如何证明两公式等值?  真值表法  利用等值定理  利用基本等值式进行推导 Lu Chaojun, SJTU 4 4 例:利用真值表证明等值 证明(PP)Q = Q. 证:列出真值表即可看出等式成立. P Q PP (PP)Q F F F F F T F T T F F F T T F T Lu Chaojun, SJTU 5 等值定理  等值定理:对公式和,  =  iff    是重言式 证明:若 是重言式,则在任一解释下,其真 值都为T,依的定义知和真值相同.故 =. 若 =, 则在任一解释下,和都有相同 的真值,依的定义即真值为T.故是 重言式.  = 与 的异同  从形式系统角度看  是命题联结词,  是系统内的合式公式.(语法)  =是系统外的符号,  = 不是合式公式! =是在系统 外观察系统内两个公式是否等值.(语义)  从真假性来看  写下,不代表和 等值.只有为真,才能得 知和 等值.但 可为假.  写下 =,则肯定了和 等值. 等值关系“=”的性质  和大家在数学里用的等号一样,具有下面三个 性质: 1.自反性:  = 2.对称性: 若 =, 则 = 3.传递性: 若 =且 =, 则 =  这三条性质体现了两事物“等同”、“同一性”概 念.  满足这三条性质的关系称为等价关系. 例:利用真值表证明等值 证明PQ = PQ 证明PQ= (PQ)(QP)