存在性证明 ·证明具有某种性质的对象的存在性 ·3xp(x) ·基本方法： ·构造法：找到一个a,p(a)=T ·非构造法：归谬证明Vx一p(x)=F ·讨论题： ·Chomp游戏，你该如何幸存？存在性证明 • 证明具有某种性质的对象的存在性 • xp(x) • 基本方法： • 构造法：找到一个a，p(a)=T • 非构造法：归谬证明xp(x) = F • 讨论题： • Chomp游戏，你该如何幸存？