第5题:
设有下列语句,请用相应的谓词公式把它们表示出来:(变元可选用x,y,z,谓词名一般用具有相应意义的英文单词表示。) (3)所有人都有饭吃。
(1)有的人喜欢梅花有的人喜欢菊花有的人既喜欢梅花又喜欢菊花。 定义谓词及个体。设LIKE(xy)表示x喜欢yMeihua表示梅花Juhua表示菊花则:(?x)LIKE(xMeihua)∧(?y)LIKE(yJuhua)∧(?z)(LIKE(zMeihua)∧LIKE(zJuhua)) (2)李明每天下午都去玩足球。 定义谓词及个体。设PLAYFB(xy)表示x在y下午玩足球Liming表示李明y表示每天则: (?y)(PLAYFB)(Limingy) (3)太原市的夏天既干燥又炎热。 定义谓词及个体。设STATE(xyz)表示x市在y季节气候处于z状态。这是一个三元一阶谓词所涉及的个体有:太原夏天干燥炎热。将个体代入谓词: STATE(太原夏天干燥) STATE(太原夏天炎热) 根据题意将各谓词用适当的连接符连接起来。 STATE(太原夏天干燥)∧STATE(太原夏天炎热) (4)所有人都有饭吃。 定义谓词及个体。设Havefood(x)表示x有饭吃则根据题意有: (?x)(Havefood(x)) (5)喜欢玩篮球的人必喜欢玩排球。 定义谓词及个体。设Likeplay(xy)表示x喜欢玩y。所涉及的个体有:篮球排球。将个体代入谓词并根据题意将各谓词用适当的连接符连接起来。 (?x)(Likeplay(x篮球)→Likeplay(x排球)) (6)要想出国留学必须通过外语考试。 定义谓词及个体。设Want(xy)表示x想yPass(xy)表示x通过y。定义个体:goabroad表示出国学习flanguage表示外语。将个体代入谓词并根据题意将各谓词用适当的连接符连接起来。 (?x)(~Pass(xflanguage)→~Want(xgoabroad)) (1)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。定义谓词及个体。设LIKE(x,y)表示x喜欢y,Meihua表示梅花,Juhua表示菊花,则:(?x)LIKE(x,Meihua)∧(?y)LIKE(y,Juhua)∧(?z)(LIKE(z,Meihua)∧LIKE(z,Juhua))(2)李明每天下午都去玩足球。定义谓词及个体。设PLAYFB(x,y)表示x在y下午玩足球,Liming表示李明,y表示每天,则:(?y)(PLAYFB)(Liming,y)(3)太原市的夏天既干燥又炎热。定义谓词及个体。设STATE(x,y,z)表示x市在y季节气候处于z状态。这是一个三元一阶谓词,所涉及的个体有:太原,夏天,干燥,炎热。将个体代入谓词:STATE(太原,夏天,干燥),STATE(太原,夏天,炎热),根据题意将各谓词用适当的连接符连接起来。STATE(太原,夏天,干燥)∧STATE(太原,夏天,炎热)(4)所有人都有饭吃。定义谓词及个体。设Havefood(x)表示x有饭吃,则根据题意有:(?x)(Havefood(x))(5)喜欢玩篮球的人必喜欢玩排球。定义谓词及个体。设Likeplay(x,y)表示x喜欢玩y。所涉及的个体有:篮球,排球。将个体代入谓词,并根据题意将各谓词用适当的连接符连接起来。(?x)(Likeplay(x,篮球)→Likeplay(x,排球))(6)要想出国留学,必须通过外语考试。定义谓词及个体。设Want(x,y)表示x想y,Pass(x,y)表示x通过y。定义个体:goabroad表示出国学习,flanguage表示外语。将个体代入谓词,并根据题意将各谓词用适当的连接符连接起来。(?x)(~Pass(x,flanguage)→~Want(x,goabroad))