推理与证明方法 定理证明方法: 7、存在证明 existence proof: 彐xP(x) constructive nonconstructive 8、归纳证明/ induction proof: VX P(x) 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 12 定理证明方法： 7、存在证明/existence proof： x P(x) constructive, nonconstructive 8、归纳证明/inductionproof ： x P(x)