推理与证明方法 定理证明方法: 1、直接证明 direct proof:p→Q 2、间接证明/ indirect proo:p→Q分-Q→-P 3、空证明 acuous proof:p→Q其中P为F 4、平凡证明/ trivial proof:p→Q其中Q为T 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 10 定理证明方法： 1、直接证明/direct proof: p → Q 2、间接证明/indirect proof : p → Q  ¬ Q → ¬ P 3、空证明/vacuous proof: p → Q 其中 P为 F 4、平凡证明/trivial proof： p → Q 其中 Q 为T