推理与证明方法 定理证明方法: 5、反证明/ proof of contradiction: P→S∧-S 6、分例证明/ proof of cases: P1VP2..VPn→Q (P1→Q)∧(P2→Q)…(Pn→Q) 2/24/202111:15PM Deren Chen Zhejiang univ 11推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 11 定理证明方法： 5、反证明/proof of contradiction： P ¬ P  S ∧ ¬ S 6、分例证明/proof of cases： P1∨ P2 … ∨ Pn → Q （P1→ Q） ∧ （P2 → Q）…∧ （Pn→ Q）