谓词逻辑的意思

词语解释 谓词逻辑wèi cí luó jí "谓词，在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的事或物包括现实物、精神物和精神事三种。谓词则是用来刻划个体词的性质的词即刻划事和物之间的某种关系表现的词。如“苹果”是一个现实物个体词""苹果可以吃""是一个原子命题，“可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。"。