查看“︁谓词”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:wei4ci2}}
{{#seo:
|keywords=谓词, 谓词逻辑, 性质, 关系, 原子公式
|description=谓词是谓词逻辑中的核心语法单元，用于表示个体所具有的性质或多个个体之间的关系。它是构成原子公式的基础，通过与个体词结合形成诸如P(a)或R(x, y)的陈述。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-07-01
}}
{{InfoBox
|name=谓词
|eng_name=predicate
|aliases=命题函数
}}
'''谓词'''('''predicate''')是谓词逻辑中的核心语法单元，语法上与一个或多个[[项（谓词逻辑）|项]]结合，构成[[原子公式]]。
语义上，谓词和固定个数的项所指称的个体对象一同构成命题，描述这个个体对象所具有的性质或这几个个体对象之间的关系。
其中描述 <math>n</math> 个个体对象的谓词称为 '''<math>n</math> 元谓词'''，其中 <math>n</math> 称为'''元数'''('''arity''')。

谓词通常指语法概念，有时也指对应的语义上的性质或关系。
语法上，负责与一些指代个体对象的词或短语共同构造原子公式；类似自然语言中，一个谓语部分与主语一同构成陈述句。
语义上，谓词被解释为[[关系]]，是对一个或几个谓词外个体对象是否具有性质或关系的判断。

谓词包括'''谓词常项'''和'''谓词变项'''（'''谓词变元'''、'''谓词变号'''）两种。
其中，常项指称论域中特定、唯一的性质或关系，可以简单理解为指向某个特定性质或关系的'''专名'''。
变项指称论域中任意或不特定的性质或关系，根据语境依赖；通常，变项指称的范围是某个由若干专名构成的'''范围'''（'''域'''），变项会从中取一个专名作为其'''取值'''（'''值'''）。变项通过取值的专名进行指称。

用字母代替时，经常使用 [[从P开始的小写拉丁字母序列|p、q、……]] 表示谓词常项或变项。

命题常项也看作零元谓词。


{{谓词逻辑}}