谓词

• 现含有两个命题：

张三是罪犯，李四是罪犯。

• 这两个命题都有同样的结构：主词 + 谓词 。

张三 + 是罪犯，李四 + 是罪犯。

• 若设 为 是罪犯 ， 为 张三 ， 为 李四 ，则上面的命题可以改写为：

• 若主词 只有 1 个 ，则 表示该主词性质或属性的词 为谓词，用 表示。
• 若主词 多于 1 个 ，则 表示这些主词间的关系的词 为谓词，用 表示。

(★) 例题#1 - 说出下列命题的谓词

1. 大于 3。
2. 和 是朋友。

谓词常项与谓词变项

• 谓词常项 ：表示 具体 关系或性质的谓词，例如  大于 3 中的大于。
• 谓词变项 ：表示 抽象 关系或性质的谓词，例如  3 中的 。

个体词

• 主词为个体词的别称，句子中的主语、宾语等，是一个命题里表示思维对象的词。
• 个体域 ：个体词的取值范围，常用   表示。宇宙间所有个体域的集合称为 全总个体域 。
• 个体常项 ： 是奇数中的  。
• 个体变项 ： 是奇数中的 。
• 项谓词：有 个个体词的谓词  。

• 谓词是命题形式，而不是命题。
• 仅当谓词变项取定为谓词常项；且个体变项取定为个体变项时，命题形式才变为命题。