逻辑推理
量词
如“所有”或“有些”等表示陈述涵盖多少情形的词。
| English | Quantifier |
|---|---|
| Bahasa Melayu | Pengkuantiti |
| 中文 | 量词 |
如何使用
在“所有偶数都能被 2 整除”中,量词是“所有”。加上量词把开放句变成有真值的陈述:这句为真,而“有些质数是偶数”(量词“有些”)也为真,由 2 说明。
它在 SPM 中出现在哪里
量词出现在中四逻辑推理的陈述部分。试卷一要求判断“所有”或“有些”陈述及其否定的真值。
试卷二在检验一般陈述是否成立时,把量词与反例联系起来。
别与这些混淆
否定量词说明陈述涵盖多少情形;否定是另一步、把该陈述反转,同时把“所有”变成“有些……不”。
常见问题
“所有”和“有些”有什么区别?
“所有”声称每个情形都符合,所以一个例外就使它为假。“有些”声称至少一个情形符合,所以一个例子就使它为真。
“所有质数都是奇数”为假(因为 2),但“有些质数是奇数”为真。
怎样反驳一个“所有”陈述?
找一个反例。要反驳“所有四边形都有四条相等的边”,举出矩形,它有四条边但并非全部相等。
一个例外就足以使任何“所有”陈述为假。