离散数学命题演算.pptVIP

命题逻辑的等值演算 和推理演算  主要内容 公式间的等值关系与等值演算 利用真值表列写公式 联结词的完备集 对偶定理 ·范式和主范式 公式间的重言蕴涵关系与推理演算 haojun. SJT  公式间的等值关系 一种重要的数学论证方法是将一个命题 用另一个等值命题替换 给定两个命题公式a和B设P1,…,Pn是出 现在a和β中的所有命题变项.若在所有 解释(共2n个)下a和B的真值都相同,就称 α和β等值(或逻辑等价, logical equivalence)记作a=B(或a→B) 例如:P→Q=-PVQ ▲这两个公式语法上是不同的,但语义上相同(即有 相同意义) haojun. SJT  如何证明两公式等值? 真值表法 利用等值定理 利用基本等值式进行推导 haojun. SJT  例:利用真值表证明等值 证明(P∧-P)vQ=Q 证:列出真值表即可看出等式成立 P∧=P (P∧PvQ PFFTT FTFT FFF FTFT haojun. SJT  等值定理 等值定理对公式a和属 a=Bia4B是重言式 证明:若a是重言式,则在任一解释下, 其真值都为T依的定义知a和0真值相 同故a=B →若a=B则在任一解释下,a和B都有 相同的真值,依的定义即α真值为T 故αB是重言式 haojun. SJT  =B与∝B的异同 从形式系统角度看 是系统内的符号,aKB是系统内的合式公 式,(语法) =是系统外的符号,=B不是合式公式!=是 在系统外观察系统内两个公式是否等值(语 义) 从真假性来看 写下B不代表a和B等值只有x为真, 才能得知a和β等值但αB可为假 写下a=B则肯定了a和B等值 haojun. SJT  等值关系“=”的性质 和大家在数学里用的等号一样,具有下面 三个性质: 1.自反性:a=a 2对称性:若a=B,则B=a 3传递性:若a=阻且B=y,则a=y 这三条性质体现了两事物“等同”、“同 性”概念 满足这三条性质的关系称为等价关系 haojun. SJT  例:利用等值定理证明等值 证明(PQ)=(-PVQ) 证:转化为证明(P→Q)(PVQ)是重言式 比如列出此公式的真值表 这里本质上还是在利用真值表 还可利用重言式推理系统(见3.2)证明重言式 haojun. SJT