谓词：修订间差异
无编辑摘要 |
无编辑摘要 |
||
| 第15行： | 第15行： | ||
其中描述 <math>n</math> 个个体对象的谓词称为 '''<math>n</math> 元谓词'''，其中 <math>n</math> 称为'''元数'''('''arity''')。 | 其中描述 <math>n</math> 个个体对象的谓词称为 '''<math>n</math> 元谓词'''，其中 <math>n</math> 称为'''元数'''('''arity''')。 | ||
谓词通常指语法概念，有时也指对应的语义上的性质或关系。 | |||
语法上，负责与一些指代个体对象的词或短语共同构造原子公式；类似自然语言中，一个谓语部分与主语一同构成陈述句。 | 语法上，负责与一些指代个体对象的词或短语共同构造原子公式；类似自然语言中，一个谓语部分与主语一同构成陈述句。 | ||
语义上，谓词被解释为[[关系]]，是对一个或几个谓词外个体对象是否具有性质或关系的判断。 | |||
谓词包括'''谓词常项'''和'''谓词变项'''（'''谓词变元'''、'''谓词变号'''）两种。 | 谓词包括'''谓词常项'''和'''谓词变项'''（'''谓词变元'''、'''谓词变号'''）两种。 | ||
2025年12月19日 (五) 13:06的最新版本
| 谓词 | |
|---|---|
| 术语名称 | 谓词 |
| 英语名称 | predicate |
| 别名 | 命题函数 |
谓词(predicate)是谓词逻辑中的核心语法单元，语法上与一个或多个项结合，构成原子公式。 语义上，谓词和固定个数的项所指称的个体对象一同构成命题，描述这个个体对象所具有的性质或这几个个体对象之间的关系。 其中描述 [math]\displaystyle{ n }[/math] 个个体对象的谓词称为 [math]\displaystyle{ n }[/math] 元谓词，其中 [math]\displaystyle{ n }[/math] 称为元数(arity)。
谓词通常指语法概念，有时也指对应的语义上的性质或关系。 语法上，负责与一些指代个体对象的词或短语共同构造原子公式；类似自然语言中，一个谓语部分与主语一同构成陈述句。 语义上，谓词被解释为关系，是对一个或几个谓词外个体对象是否具有性质或关系的判断。
谓词包括谓词常项和谓词变项（谓词变元、谓词变号）两种。 其中，常项指称论域中特定、唯一的性质或关系，可以简单理解为指向某个特定性质或关系的专名。 变项指称论域中任意或不特定的性质或关系，根据语境依赖；通常，变项指称的范围是某个由若干专名构成的范围（域），变项会从中取一个专名作为其取值（值）。变项通过取值的专名进行指称。
用字母代替时，经常使用 p、q、…… 表示谓词常项或变项。
命题常项也看作零元谓词。