2013 年黑龙江预赛 · 第 3 题

解答

原命题的逻辑形式为“对每个实数 $x$，都有 $x^2>0$”。否定全称命题时，将“每个”改为“存在”，并否定其后的性质，得到

这正是“至少有一个实数的平方不是正数”，选 C。 其中 $x=0$ 也说明该否定命题为真；但确定否定形式本身不依赖这个例子。