人有饭吃的原子公式是什么?
发布网友
发布时间:2023-12-29 07:47
我来回答
共1个回答
热心网友
时间:2024-07-13 19:39
Human(x):x是人。Eat(x):x有饭吃。谓词描述个体的属性,以及个体之间的关系。谓词对应于语言中的谓语,或谓语+宾语。原子谓词公式P(x)P(x)P(x)是谓词公式。所以所有人都有饭吃谓词公式表达为Human(x):x是人。Eat(x):x有饭吃。则语句可表达为:(x)(Human(x)Eat(x))
由n原谓词P和n个个体变元x1,x2,…,xn构成的不包含任何量词和命题联结词的式子P(x1,x2,…,xn)称为原子谓词公式。原子谓词公式P(x)P(x)P(x)是谓词公式。