谓词逻辑

wèi cí luó jí 
基本释义
[ wèi cí luó jí ]
  1. "谓词，在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。谓词则是用来刻划个体词的性质的词，即刻划事和物之间的某种关系表现的词。如“苹果”是一个现实物个体词，""苹果可以吃""是一个原子命题，“可以吃”是谓词，刻划“苹果”的一个性质，即与动物或人的一个关系。"
英文翻译
  1. Predicate logic
网站简介 | 商务合作 | 版权声明 | 联系我们 | 网站地图

Copyright @ 2017 All Rights Reserved.