slide 10: 谓词逻辑 Predicate Logic
谓词逻辑的形式语言 The Formal Language of Predicate Logic
- 常量符号：
- 变量符号：
- 谓词符号：
- 五个命题运算符（propositional operator）：
- 两个量词（quantifier）：
三段式陈述的表示
| 类型 | 语言陈述 | 谓词逻辑形式 |
|---|---|---|
| A | All A are B | |
| I | Some A are B | |
| E | All A are not B | |
| E | No A is B | |
| O | Some A are not B | |
| O | Not all A are B |
通过观察不难发现，所有的 都对应着 ，而所有的 都对应 。
谓词逻辑式子（WFF，合式公式）的构成
- 项（term）是指变量（）或常量（）。
- 式（formula）按照如下规则构成：
- 若 是项，而 是一个谓词符号，则 是一个式；
- 若 和 是式，那么以下五个东西也是式：，，，，；
- 若 是式而 是一个变量，则 ， 也是式。
变量辖域（scope）
大概是类似编程语言当中，变量作用域的概念。
- 在辖域内的变量，是 bound 的，约束出现
- 在辖域外的变量，是 free 的，自由出现
驴句
详见 slide 10 最后一页。