同等学力 谓词逻辑 📚 终极复习宝典
一、核心判断：什么时候用谓词逻辑？
✅ 句子里有泛指名词 ：人、猫、学生、数、病毒 → 必须用 ∀ / ∃
✅ 句子是固定对象/条件句：我、它、如果...就... → 只用命题逻辑 P→Q
二、关键词 → 逻辑符号 对照表（必背）
| 自然语言 | 符号 | 搭配规则 |
|---|---|---|
| 所有、全部、每个、任何、都 | ∀x | 后面跟 → |
| 有的、有些、存在、部分 | ∃x | 后面跟 ∧ |
| 不是所有、不都是、未必都 | ¬∀x = ∃x¬ | 两种写法等价（高频考点） |
| 没有、不存在 | ¬∃x = ∀x¬ | 双重否定变肯定 |
| 有且仅有、唯一 | ∃x∀y | 必须加 y=x（唯一性标志） |
| 只要A就B | A→B | 顺序不变 |
| 只有A才B | B→A | 顺序必须反（易错点） |
三、万能解题步骤（照着做就得分）
- 拆零件：定义谓词 P(x) = x是什么 / x做什么（明确研究对象）
- 找关键词：确定量词 ∀ / ∃（锁定核心量词）
- 套模板：全称→箭头，存在→合取（严格遵守搭配规则）
- 写公式：量词 → 主体 → 逻辑 → 性质（按顺序拼接）
四、7大必考模板（直接背）
模板1：所有A都B
公式：∀x( A(x) → B(x) )
示例：所有学生都努力 → ∀x( 学生(x) → 努力(x) )
模板2：有的A是B / 有的A不是B
公式：∃x( A(x) ∧ B(x) ) ｜ ∃x( A(x) ∧ ¬B(x) )
示例：有的猫不抓老鼠 → ∃x( 猫(x) ∧ ¬抓老鼠(x) )
模板3：不是所有A都B（高频）
公式：¬∀x(A→B) 等价于 ∃x(A ∧ ¬B)
示例：不是所有数都是偶数 → ¬∀x( 数(x)→偶数(x) ) = ∃x(数(x)∧¬偶数(x))
模板4：没有不B的A（双重否定）
公式：∀x( A(x) → B(x) )
示例：没有不呼吸的人 → ∀x( 人(x)→呼吸(x) )
模板5：有且仅有一个A（唯一性）
公式：∃x( A(x) ∧ ∀y( A(y) → y=x ) )
示例：有且仅有一个质数是偶数 → ∃x(质数(x)∧偶数(x)∧∀y(质数(y)∧偶数(y)→y=x))
模板6：多量词（A比所有B都...）
公式：∀x∀y( A(x)∧B(y) → C(x,y) )
示例：所有正数都比所有负数大 → ∀x∀y(正数(x)∧负数(y)→大(x,y))
模板7：条件句
只要A就B：A→B（只要下雨就堵车 → 下雨→堵车）
只有A才B：B→A（只有努力才成功 → 成功→努力）
除非A否则B：¬A→B（除非请假否则上课 → ¬请假→上课）
五、双量词 4 大标准格式（考试必考）
1. ∀x∀y 任意x 任意y 都满足关系
句式：所有A 对 所有B 都...
公式：∀x∀y( P(x) ∧ Q(y) → R(x,y) )
例子：老虎比所有兔子跑得快
2. ∀x∃y 每个x 都有一个对应的y
句式：每个A 都有一个B
公式：∀x( P(x) → ∃y( Q(y) ∧ R(x,y) ) )
例子：每个人都有一个好朋友
3. ∃x∀y 存在一个x 对所有y 都成立
句式：有一个A 是所有B 的...
公式：∃x( P(x) ∧ ∀y( Q(y) → R(x,y) ) )
例子：有一个人是所有人的朋友
4. ∃x∃y 存在x 存在y 满足关系
句式：有的A 对 有的B ...
公式：∃x∃y( P(x) ∧ Q(y) ∧ R(x,y) )
例子：有的学生喜欢有的老师
六、最高频易错点（考试必看）
1. ∀ 必须跟 → ｜ ∃ 必须跟 ∧，绝对不能写反！（扣分重灾区）
2. 只有A才B = B→A，千万不要写反！（80%考生易错）
-
有且仅有必须加 y=x，否则不是唯一（唯一性判定关键）
-
¬∀ 等价于 ∃¬，是考试最爱考的等价变形（选择题核心）
🎯 万能记忆口诀 🎯
泛指先写谓词，量词看关键词；
所有跟箭头，存在跟合取；
不是所有转存在，双重否定变肯定；
有且仅有加等词，只有才要反着写。
七、同等学力考试套路总结
✅ 只考自然语言→公式翻译 ，不考复杂证明（复习重点明确）
✅ 真题重复率极高，背会模板=拿分（性价比最高的复习方式）
✅ 所有题目都是7大模板+双量词组合（全覆盖）
✅ 等价公式是选择题核心考点（¬∀/¬∃变形必须掌握）