题目
用谓词公式表示:1、所有人都有饭吃。2、他每天下午都去玩足球
用谓词公式表示:
1、所有人都有饭吃。
2、他每天下午都去玩足球
题目解答
答案
1. 定义谓词：`Person(x)` 表示“x是人”，`Food(y)` 表示“y是饭”，`Eat(x, y)` 表示“x吃y”。
句子“所有人都有饭吃”可表示为：
\[
\forall x (Person(x) \rightarrow \exists y (Food(y) \land Eat(x, y)))
\]
2. 定义谓词：`Afternoon(t)` 表示“t是下午”，`Play(t, x, y)` 表示“在时间t，x玩y”。
句子“他每天下午都去玩足球”可表示为：
\[
\forall t (Afternoon(t) \rightarrow Play(t, He, Football))
\]
（其中，`He` 和 `Football` 可分别用常量 `h` 和 `f` 表示。）
最终答案：
1. $\forall x (Person(x) \rightarrow \exists y (Food(y) \land Eat(x, y)))$
2. $\forall t (Afternoon(t) \rightarrow Play(t, He, Football))$
（其他合理表示亦可接受，如将 `He` 和 `Football` 替换为常量符号。）