一个反例能推翻什么？用“所有、存在、没有”整理逻辑题

先写全命题，不能漏掉数域

自编命题是：“对每个实数n，都有n²>n。”试2和3都成立，但这两个例子没有覆盖实数中的0、负数、分数与1。试n=0时，0²>0不成立；这是有效反例，因为0确实属于原数域。

如果题目原本说“对每个大于1的实数n”，0就不属于允许范围，不能用它推翻那个新命题。先在纸上写出对象范围、条件和结论，再挑选测试值。量词与否定的基本区别可参照OpenStax命题与量词。

否定“所有”，不是换成“所有不”

原命题的否定是“存在实数n，使n²≤n”。因为>的否定是≤，所以相等也属于失败；只搜索严格小于会漏掉0和1两个边界。

“所有实数都满足n²≤n”是另一个更强命题，n=2就能推翻。一个反例说明普遍规则有漏洞，不允许把所有成功案例一并删去。复习时把这两句话同时写出，标明量词差别。

从反例修补范围，要给出完整理由

因式分解n²-n=n(n-1)。当n<0时，两因子都为负，乘积为正；当0<n<1时，一正一负，乘积为负；当n>1时，两因子都为正。n=0和n=1时乘积为0。

因此n²>n恰好在n<0或n>1时成立。这里不是通过枚举更多数字“证明”，而是用覆盖全部实数的区间与符号解释。修补后的命题可写成“对每个n>1的实数，不等式成立”，并附上两因子同为正的理由。

若把数域换成整数，还应重新检查允许的值：0和1仍使严格不等式失败；其他整数成立。若换成非负整数，负数分支不再相关。题目改变范围后，保留旧反例前先检查它是否仍然合法。

把命题类型放进同一张复习卡

现在尝试两道迁移练习。第一题：“所有实数x都有x²≥0。”用x=-2不能推翻，因为平方是4；需要一般性质说明，而不是把负号当作负平方。第二题：“存在整数k使2k+1为偶数。”这是存在命题，想要证真必须给出一个合法见证；试几个k失败并不能直接完成否定。

第二题可以用定义处理：若2k+1=2m，则1=2(m-k)，不可能由整数m-k成立。因此不存在这样的整数k。这一步说明要推翻存在命题，需要排除全部允许对象，与推翻全称命题的一个反例不同。

原命题：____。数域与附加条件：____。量词：所有/存在/没有。候选反例或见证：____。代入计算：____。它是否属于原范围：____。当前只证明了什么：____。若修补结论，还缺少哪一步理由：____。

记录第一处不合法的跳跃

把错误写成“用范围外的值反驳”“把一个成功当成普遍证明”“把否定写成所有不”，会比“逻辑没学会”更便于复习。下一轮换一个数域或严格符号，再看是否仍能指出相同的判断点。

可结合例子与反例学习理解概念边界，再按逐步自我解释说清为什么当前一步能成立。这里提供逻辑练习与编辑建议，没有实验性学习效果数据。

有限个对象的范围可以逐一穷尽检查；无限范围通常需要一般论证。不要把“我暂时找不到反例”记成“已经证明”。保留原题与自己的推导，才能区分发现规律和证明规律。