CM1025 计算机科学基础 CM1025 Fundamentals of Computer Science Week 2 First-order logic
一阶逻辑基础与量词解析
1. 谓词与命题
谓词（Predicate）：描述对象性质的函数（如 Odd(3) 表示\"3是奇数\"）
命题：带参数的谓词可形成真值确定的命题（如 Equal(5,6) 为假）
2. 量词类型
量词
符号
意义
示例
存在量词 ∃
∃x P(x)
至少有一个x使P(x)为真
∃x Prime(x)（存在素数）
全称量词 ∀
∀x P(x)
所有x都使P(x)为真
∀x (Even(x)∨Odd(x))
3. 自然语言转换规则
全称陈述
\"所有P都是Q\" → ∀x (P(x)→Q(x
立即观看
0