所有人都有饭吃谓词公式

Question

如题所述

Answer 1

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)是谓词公式。