Section 6.1 谓词
Objectives: 个体
- 具体或抽象的事物统称为个体
- 有具体指向的个体称为个体常项
- 例如:明朝开国皇帝朱元璋，抗日战争，哈利波特
- 个体常项用小写字母\(a,b,c,\cdots \)表示
- 个体变项代表某个个体常项，不特指哪一个。
- 个体变项用小写字母\(x,y,z, \cdots \)表示
Objectives: 个体域
- 个体域用字母D表示
- 当给个体变项限定一个有限的取值范围时，这个范围称为个体域
- x的个体域D是唐朝诗人的集合：{\(\text{李白，杜甫，白居易 },\cdots\)}
y的个体域D是民国谍战剧的集合：{\(\text{潜伏，伪装者， 麻雀},\cdots\)}
特别说明.
- 最大的个体域是全总个体域，它包含了宇宙一切具体或抽象的事物
- 题目没限定具体个体域的情况下，默认都是全总个体域
Objectives: 谓词的定义
- 谓词是描述个体常项或个体变项之间的关系的句子
- 例如：3和2相等是谓词，但3+2就不是谓词
- 例如：x比y大1是谓词，但x乘以y就不是谓词
- 所有的命题都是0元谓词
- 例如，北京是中国的首都。这句话是0元谓词。
- 0元是因为不含任何个体变项
- y是唐朝的诗人，这句话是一元谓词
- 一元是因为含有一个个体变项y
- x比y跑得快，这句话是二元谓词
- 二元是因为有两个个体变项x,y。
Objectives: 谓词的符号化
- 符号化例子如下:
- F(x,y):x比y跳得高
- 谓词用大写英文字母\(F,G,H,\cdots \)表示
- 大写字母跟着的括号里要写出谓词包含的全部个体变项
- 冒号右边的部分要对谓词含义进行汉语解释