2015离散数学蕴含与推理探析.pptVIP

等价式(equivalences);蕴涵式(implication); 1. p?q?p p?q?q 2. p，p ? q?q 3. ? p，p?q?q 4. ?q，p ? q? ? p 5. p ? q，q ? r?p ? r 6. p?q , p ? q，q ? r? r;证明H1 ?H2 ? … ? Hm ? C的方法;证明H1 ?H2 ? … ? Hm ? C的方法;证：(P?R)?(Q?R)?(P?Q) ?R 证明：(1) P?R P (2) Q?R P (3) P?Q P (4) ?P?Q T(3) E (5) ?P?R T(4),(2) I (6) (P?R)?(?P?R) T(1),(5) I (7) R T(6) E;证明：J ?(M?N), (H?G) ?J, H?G ? M?