逻辑推理
否定
一个陈述的反面，会翻转它的真值。
| English | Negation |
|---|---|
| Bahasa Melayu | Penafian |
| 中文 | 否定 |
如何使用
“12 能被 5 整除”的否定是“12 不能被 5 整除”。原句为假，所以它的否定为真。
用符号表示，若 p 是陈述，其否定记作 ~p。
它在 SPM 中出现在哪里
否定在逻辑推理（中四）中很早出现，试卷一常以“写出……的否定”或“下列哪个是……的否定”出现。它也是试卷二真值表的基础，并用于量词的否定，例如把“所有”变成“有些……不”。
别与这些混淆
逆命题否定翻转一个陈述的真值，而逆命题是互换“若……则”蕴含的两部分，并非只是把它变假。
相反的数值否定翻转的是句子的逻辑真假，而非数的符号；“x > 3”的否定是“x ≤ 3”，而不是“x < −3”。
常见问题
怎样否定含“是”的陈述？
加入“不”使意思相反。“81 是完全平方数”的否定是“81 不是完全平方数”。
因为 81 = 9²，原句为真，否定为假。句子其余部分保持不变。
“所有”和“有些”的否定是什么？
“所有 A 都是 B”的否定是“有些 A 不是 B”，而“有些 A 是 B”的否定是“没有 A 是 B”。例如，否定“所有 4 的倍数都是偶数”得到“有些 4 的倍数不是偶数”。
对一个陈述否定两次会回到原来吗？
会。否定两次 ~(~p) 会回到 p，真值不变。
“7 是奇数”的否定是“7 不是奇数”，再否定一次又回到“7 是奇数”，全程为真。