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拥有这台笔记本电脑。
