存在性证明 ·证明具有某种性质的对象的存在性 ·3xP(x) ·基本方法： ·构造法：找到一个a,P(a)=T ·非构造法：归谬证明（反证法） VxP(x)=F 讨论题：Chomp:游戏，你该如何幸存？存在性证明 • 证明具有某种性质的对象的存在性 • ∃𝑥𝑃(𝑥) • 基本方法： • 构造法：找到一个𝑎，𝑃(𝑎) = 𝑇 • 非构造法：归谬证明（反证法） ∀𝑥𝑃 𝑥 = 𝐹 讨论题：Chomp游戏，你该如何幸存？