同等学力 谓词逻辑 终极复习宝典一、核心判断什么时候用谓词逻辑✅ 句子里有泛指名词人、猫、学生、数、病毒 → 必须用 ∀ / ∃✅ 句子是固定对象/条件句我、它、如果…就… → 只用命题逻辑 P→Q二、关键词 → 逻辑符号 对照表必背自然语言符号搭配规则所有、全部、每个、任何、都∀x后面跟 →有的、有些、存在、部分∃x后面跟 ∧不是所有、不都是、未必都¬∀x ∃x¬两种写法等价高频考点没有、不存在¬∃x ∀x¬双重否定变肯定有且仅有、唯一∃x∀y必须加 yx唯一性标志只要A就BA→B顺序不变只有A才BB→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) → yx ) )示例有且仅有一个质数是偶数 → ∃x(质数(x)∧偶数(x)∧∀y(质数(y)∧偶数(y)→yx))模板6多量词A比所有B都…公式∀x∀y( A(x)∧B(y) → C(x,y) )示例所有正数都比所有负数大 → ∀x∀y(正数(x)∧负数(y)→大(x,y))模板7条件句只要A就BA→B只要下雨就堵车 → 下雨→堵车只有A才BB→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%考生易错3. 有且仅有必须加 yx否则不是唯一唯一性判定关键4. ¬∀ 等价于 ∃¬是考试最爱考的等价变形选择题核心 万能记忆口诀 泛指先写谓词量词看关键词所有跟箭头存在跟合取不是所有转存在双重否定变肯定有且仅有加等词只有才要反着写。七、同等学力考试套路总结✅ 只考自然语言→公式翻译不考复杂证明复习重点明确✅ 真题重复率极高背会模板拿分性价比最高的复习方式✅ 所有题目都是7大模板双量词组合全覆盖✅ 等价公式是选择题核心考点¬∀/¬∃变形必须掌握