2.2.1表示方法导引 此时可用谓词公式把上述三个语句表示为: (1) BIGGER(高山,父亲(高山)) (2) COMPUTER(刘水)∧~LⅠNK(刘水, 程序) (3)(x)(M(x)→LOⅴE(x, labour) 例,设有下列语句: (1)自然数都是大于零的整数。 (2)所有整数不是偶数就是奇数。 (3)偶数除以2是整数。此时可用谓词公式把上述三个语句表示为： （1） BIGGER（高山，父亲（高山）） （2） COMPUTER（刘水）∧ ~ LINK（刘水， 程序） （3） （ x）(M(x)→LOVE（x，labour)) 例，设有下列语句： （1） 自然数都是大于零的整数。 （2） 所有整数不是偶数就是奇数。 （3） 偶数除以2 是整数。 2 . 2 . 1 表示方法导引