e离散数学课件(第1章).pptVIP

第一章：命题逻辑 只需证明 H1∧H2∧…∧Hn∧?C?0 其中，?C叫做附加前提。这种间接推理方法称为归谬法，它就是常说的反证法。 【例】用归谬法证明 (P∧Q)→R，?R∨S，?S，P??Q 证明： ⑴ Q P(附加前提) ⑵ ?R∨S P ⑶ ?S P ⑷ ?R T⑵⑶ ⑸ (P∧Q)→R P ⑹ ?(P∧Q) T⑷⑸ ⑺ ?P∨?Q T⑹ 第一章：命题逻辑 ⑻ P P ⑼ ?Q T⑺⑻ ⑽ Q∧?Q(矛盾) T⑴⑼ 【例】用归谬法证明P→Q，?(Q∨R)可逻辑推出?P 证明： ⑴ P→Q P ⑵ P