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

[[分类:谓词逻辑]]
{{InfoBox
|name=谓词
|eng_name=predicate
|aliases=命题函数
}}
'''谓词'''('''predicate''')是指[[命题]]中描述某个东西（被称为'''个体对象'''）的性质或某几个东西的关系的部分。
也被形式化为[[关系]]。 <math>n</math> 元关系对应地称为 '''<math>n</math> 元谓词'''。


{{谓词逻辑}}