2.2.1表示方法导引 例,设有下列语句 (1)高山比他父亲出名。 (2)刘水是计算机系的一名学生,但他不喜欢编程序。 (3)人人爱劳动。 为了用谓词公式表示这些语句,应先定义谓词: BIGGER(x,y):x比y出名 COMPUTER(x):x是计算机系的学生 LINK(x,y):x喜欢y LOⅴE(x,y):x爱y M(x):x是人例，设有下列语句： （1）高山比他父亲出名。 （2）刘水是计算机系的一名学生，但他不喜欢编程序。 （3）人人爱劳动。 为了用谓词公式表示这些语句，应先定义谓词： BIGGER(x, y): x 比 y 出名 COMPUTER(x): x 是计算机系的学生 LINK(x, y): x 喜欢 y LOVE(x , y): x 爱 y M(x): x 是人 2 . 2 . 1 表示方法导引