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

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 I11. P∧(P?Q)?Q I12. ?Q∧(P?Q)??P I13. (P?Q)∧(Q?R)?P?R I14. (P∨Q)∧(P?R)∧(Q?R)?R I15. A?B ?(A∨C)?(B∨C) I16. A?B ?(A∧C)?(B∧C) 重要的蕴含式 定理： 设P、Q为两个命题公式，P?Q当且仅当P?Q且Q?P 证明 必要性：若P?Q，则对于任何指派，P、Q都同真值，故P?Q为T， Q?P为T，即P?Q，Q?P　　　　　　充分性：若P?Q，Q?P，则P?Q为T ，Q?P为T，所以，P ?Q为T，P ?Q为重言式，即P?Q 等价式与蕴含式的关系 A?B且A为重言式，则B必为重言式 若A?B且B?C，则A?C (传递性) 若A?B且A?C，则A?(B ∧ C) 若A?B且C ? B，则(A∨C) ? B　 　　　　　 蕴含式的性质 * * * * p q p∧q ?p