1.问题

将下列句子用一阶谓词形式表示：

(1)雪是白的。

(2)数a和数b之和大于数c。

(3)201班的学生每人都有一台笔记本电脑。

2.答案

句子（1）“雪是白的”可以表示为：

• White(雪)。

句子（2）“数a和数b之和大于数c”可以表示为：

• Greater(a + b, c)。

句子（3）“201班的学生每人都有一台笔记本电脑”可以表示为：

• ∀x (Student(x) → ∃y HasLaptop(x, y))。

这表示对于所有学生x，都存在至少一台笔记本电脑y，使得学生x拥有这台笔记本电脑。