222谓词逻辑表示方法(2/2) ●例22表示知识“所有的整数不是偶数就是奇数”。 定义谓词:I(x):x是整数,E(x):x是偶数,Ox):x是奇数 表示知识:(yx)(I(x)→E(x)VO(x) 例23表示如下知识: 王宏是计算机系的一名学生。 王宏和李明是同班同学。 凡是计算机系的学生都喜欢编程序。 定义谓词: COMPUTER(x):表示x是计算机系的学生。 CLASSMATE(xy):表示x和y是同班同学。 LIKE(x2y):表示x喜欢y 表示知识: COMPUTER(Wang Hong CLASSMATE(Wang Hong, Li Ming (V X)(COMPUTER()LIKE(X, programming))⚫ 例2.2 表示知识“所有的整数不是偶数就是奇数” 。 ⚫ 定义谓词：I(x)：x是整数，E(x)：x是偶数，O(x)：x是奇数 ⚫ 表示知识：( x)(I(x) → E(x)∨O(x)) ⚫ 例2.3 表示如下知识： ⚫ 王宏是计算机系的一名学生。 ⚫ 王宏和李明是同班同学。 ⚫ 凡是计算机系的学生都喜欢编程序。 ⚫ 定义谓词： ⚫ COMPUTER(x)：表示x是计算机系的学生。 ⚫ CLASSMATE(x,y)：表示x和y是同班同学。 ⚫ LIKE(x,y)：表示x喜欢y。 ⚫ 表示知识： ⚫ COMPUTER(WangHong) ⚫ CLASSMATE(WangHong, Li Ming) ⚫ (  x)(COMPUTER(x)→LIKE(x, programming))  18