第二章命题逻辑的等值推演.pptVIP

第1页，共27页，星期日，2025年，2月5日2.1等值式一、复习p?q仅在p与q均为0时结果才为0，其他为1。p?q仅在p与q均为1时结果才有1，其他为0。p?q仅在p为1、q为0才为0，其他为1。p?q仅在p与q等值时才1，其他为1。用真值表证明了p?q与?p?q的真值表完全一样，即这两者等值，根据双条件的定义，(p?q)?(?p?q)为永真或重言式。p?q?(p?q)?(q?p)?(p?q)?(?p??q)第2页，共27页，星期日，2025年，2月5日二、等值式定义公式A、B，如果其真值表完全一样，或者A?B为永真式，则称A与B等值，记为A?B如：p?q??p?qp?q?(p?q)?(q?p)?(p?q)?(?p??q)三、判断方法判断真值表是否一样判断A?B是否为永真。例如：??p与p?(p?q)与?p??p，这是德摩律?(p?q)与?p??p?与?互反第3页，共27页，星期日，2025年，2月5日p?q??p?qp?q?(p?q)?(q?p)?(p?q)?(?p??q)??p?p?(p?q)??p??p德摩律?(p?q)??p??p?与?对偶p?p?p?p?pp?(q?r)?(p?q)?(p?r)分配律p?(q?r)?(p?q)?(p?r)对偶式p?(p?q)?p吸收律(多吃少)p?(p?q)?pp??p?1，p??p?0(p?q)?(?p??q)双条件相同为真(p?q)?(p??q)??p归谬律第4页，共27页，星期日，2025年，2月5日如：p?q??p?qp?q?(p?q)?(q?p)?(p?q)?(?p??q)??p?p?(p?q)??p??p德摩律?(p?q)??p??p?与?对偶p?p?p?p?pp?(q?r)?(p?q)?(p?r)分配律p?(q?r)?(p?q)?(p?r)对偶式p?(p?q)?p吸收律(多吃少)p?(p?q)?pp??p?1，p??p?0(p?q)?(?q??p)(p?q)?(p??q)??p归谬律将以上公式中命题变元p/q，换成公式A/B，一样成立！A?B??A?B第5页，共27页，星期日，2025年，2月5日p?q??p?q可推出A?B??A?B尽管A/B可能很复杂，但是公式值也只有0、1二种可能，公式A/B的组合只有0/0,0/1,1/0,1/1四种，即只要证明：0?0与?0?0相等0?1与?0?1相等1?0与?1?0相等1?1与?1?1相等这与证明p?q??p?q的过程完全一样，即变元p/q的值只有0、1,变元p/q的组合只有0/0,0/1,1/0与1/1四种组合，即证明各组合下各值相等。第6页，共27页，星期日，2025年，2月5日p?q??p?q可推出A?B??A?B这种将变元换成公式的方法，称为“置换规则”，推而广知：已知A?B，?(A)是含公式A的命题公式，将?(A)中A全部换成公式B，则?(A)??(B)如：p?q??p?q，?(p?q)=(p?q)?p，这里A=p?q，B=?p?q，?(A)=?(p?q)=(p?q)?p，?(B)=?(?p?q)=(?p?q)?p，故(p?q)?p?(?p?q)?p部分等值置换后公式仍等值！可用于等值演算第7页，共27页，星期日，2025年，2月5日因为p?q??p?q故(p?q)?p?(?p?q)?p部分等值置换后公式仍等值！可用于等值演算(p?q)?r?(?p?q)?r(因(p?q)?(?p?q))??(?p?q)?r(因(?p?q)?r??(?p?q)?r)?(??p??q)?r(德摩律)?(p??q)?r(双重否定律)?(p?r)?(?q?r)(双重否定律)第8页，共2