离散数学课件—第1章—2.pptVIP

*;第一章 逻辑与证明; 学习内容;命题等价;命题变元;复合命题;命题公式;命题公式;命题公式;命题公式;命题公式;命题等价;命题公式的赋值;真值表的概念;真值表的概念;真值表的概念; 【例】构造命题公式?p∨q的真值表，并求成真赋值和成假赋值。 解：命题公式?p∨q的真值表如表1.6所示。00，01，11是成真赋值，10是成假赋值。 ;p ;为了有序地列出A(P1,P2,…,Pn)的真值表，可以将F看成0，将T看成1，按照二进制数00…0, 00…01, 00…010, …, 11…10, 11…1(即十进制的0,1,2,…. ,2n -1)的次序进行指派列真值表。 如A(P,Q)的真值表可按照如下次序指派： 00(F,F)，01(F,T)，10(T,F)，11(T,T) 如A(P,Q,R)的真值表可按照如下次序指派： 000(F,F,F), 001(F,F,T), 010(F,T,F), 011(F,T,T) 100(T,F,F), 101(T,F,T), 110(T,T,F), 111(T,T,T);例如列出P?(Q?R)的真值表;观察下面的真值表;命题等价;命题公式的等价;命题公式的等价;命题公式的等价;命题公式的等价;命题公式的等价;命题公式的等价;命题公式的等价;命题公式的等价;*;命题公式的等价;命题公式的等价;命题公式的等价;例题3. 化简?(P∧Q)→(?P∨(?P∨Q)) 解 原公式 ???(P∧Q)∨((?P∨?P)∨Q) (E11,结合) ?(P∧Q)∨(?P∨Q) (对合律，幂等律) ?(P∧Q)∨(Q∨?P) (交换律) ?((P∧Q)∨Q)∨?P (结合律) ?Q∨?P (吸收律) 公式E11 ： P?Q??P∨Q ;*;*;*;命题等价;重言式;Formula;永真(重言)式（Tautology）公式中的命题变量元论怎样指派，公式对应的真值恒为T。 永假（矛盾）式（Contradiction)公式中的命题变量无论怎样代入，公式对应的真值恒为F。 可满足公式（Satisfaction）公式中的命题变量无论怎样代入，公式对应的真值总有一种情况为T。 一般命题公式（Contingency）既不是永真公式也不是永假公式。; 如果A是永真式，则?A是永假式。 如果A，B是永真式，则(A∧B)、(A∨B)、(A?B)和(A?B)也都是永真式。 如果A是永真式，则A的置换例式也是永真式。;公式A：P∨(?P∧((P?Q)?R)) 用(D?E)替换A中P得到A的置换例式 B： (D?E)∨(?(D?E)∧(((D?E)?Q)?R)) 如果A是永真式，例如A为?P∨P，用 (D?E)替换A中P，得到A的置??例式B： ? (D?E)∨(D?E) ，显然B也是永真式。 结论：如果可以断定给定公式是某个永真式的置换例式的话，则这个公式也是永真式。;定理：; 定义：如果公式A?B是重言式，则称A重言(永真)蕴涵 B，记作A?B。 例如： (P∧(P?Q))?Q 可记作P∧(P?Q))?Q;方法１　列真值表。（略） 方法２　假设前件为真，推出后件也为真。 方法３　假设后件为假，推出前件也为假。;例：求证 ((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B 证明:设前件((A∧B)?C)∧?D∧(?C∨D) 为 真。则((A∧B)?C)、?D、(?C∨D)均真，;例：求证 ((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B 证明:　假设后件?A∨?B为F,则A与B均为T。 1.如C为F，则(A∧B)?C为F，所以前件 　　　　((A∧B)?C)∧?D∧(?C∨D) 为F 2.如C为T，则 　　　　　⑴若D为T，则?D为F，所以 　　　　前件((A∧B)?C)∧?D∧(?C∨D) 为假 　　　　⑵若D为F，则?C∨D为F，所以 　　　　　前件((A∧B)?C)∧?D∧(?C∨D) 为假。 ?((A∧B)?C)∧?D∧(?C∨D) ? ?A∨?B; I1.P∧Q?P , I2. P∧Q?Q I3. P?P∨Q I4. Q?P∨Q I5. ?P?P?Q I6. Q?P?Q I7. ?(P?Q)?P I8. ?(P?Q)??Q I9. P,Q ?P∧Q I10. ?P∧(P∨Q)?Q