设有下列语句，请用相应的谓词公式把它们表示出来：（变元可选用x,y,z，谓词名一般用具有相应意义的英文单词表示。） （4)喜欢玩篮球的人必喜欢玩排球。

(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))