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
立即观看