（2）自然数都是大于等于零的整数。 定义谓词如下： N(x):x是自然数。 I(x):x是整数。 GZ(x):x大于等于零。 （x)(N(x)→(GZ(x）∧I(x))）
(3) 西安市的夏天既干燥又炎热。 定义谓词： SUMMER(x):x处于夏天。 DRY(x):x很干燥。 HOT(x):x很炎热。
f4：从B瓶往C瓶倒油， 把C瓶倒满。
f5：从B瓶往A瓶倒油， 把B瓶倒空。
f6：从B瓶往C瓶倒油， 把B瓶倒空。
f1 f5 f7 0,0
f7
f1 f5
f7：从C瓶往A瓶倒油，
5,2
f4 f2
f3
4,3 f1 5,3
f7 f3
f8
4,0
f4
f5
0,1
f6 f8
f1
1,0
f7 f3
1,3
把C瓶倒空。
f8：从C瓶往B瓶倒油， 把C瓶倒空。
0,1,0 L(0,1)
L(1,0) L(0,1)
2,2,0
3,1,0
L(1,1)
R(1,1)L(0,2) R(0,2)
3,3,1
R(1,0) R(0,1)
1,1,1
0,2,1
L(1,1)R(0,2)
R(1,1)
L(0,2)
0,0,0
L(0,1) R(0,1)
R(0,1) L(0,1)
3,2,0
0,1,1
➢例1：设有下列事实性知识： 张晓辉是一名计算机系的学生，但他不喜欢 编程序。李晓鹏比他父亲长得高。
请用谓词公式表示这些知识。
（1）定义谓词及个体。 Computer(x):x是计算机系的学生。 Like(x,y):x喜欢y。 Higher(x,y):x比y长得高。
