谓词逻辑

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

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

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

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

免责声明:本站所有文章和图片均来自用户分享和网络收集,文章和图片版权归原作者及原出处所有,仅供学习与参考,请勿用于商业用途,如果损害了您的权利,请联系网站客服处理。