按部首查询 | 按拼音查询 | 按笔画查询

谓词逻辑

[wèi cí luó jí]  

谓词逻辑 基本解释

[wèicíluójí]

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