保函网

谓词逻辑

发布时间：2025-12-04 | 来源：互联网转载和整理

1、谓词，在谓词逻辑中，原子命题分解成个体词和谓词。

2、 个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。

3、谓词则是用来刻画个体词的性质的词，即刻画事和物之间的某种关系表现的词。

4、如“苹果”是一个现实物个体词，"苹果可以吃"是一个原子命题，“可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。