• 2022-06-08
    设 x 的论域 = { 整数 }、P(x): x^2>0,要证明∀x P(x) 为假,最有效的证明方法是?
    A: 直接证明法:从某个数学公理出发,推出结论x^2>0 对所有整数都成立
    B: 间接证明法:从 x^2>0倒推到某个永真事实
    C: 反证法:假设对任意整数 x^2>0 为真,推出某个矛盾现象
    D: 反例证明:找出使命题不成立的反例 x=0