第二次作业

2.9 设有如下语句，请用相应的谓词公式分别把他们表示出来：

(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花

(2)有的人每天下午都去打篮球。

(3)新型计算机速度又快，存储容量又大。

(4)不是每个计算机系的学生都喜欢在计算机上编程序。

(5)凡是喜欢编程序的人都喜欢计算机。

解：1、定义谓词：

people P（x）:x 是指人  ； 

like  L（x,y）:x 喜欢 y  ;

其中，y的个体域是指{梅花，菊花}。

（∃x）(P（x)→L(x,梅花) v L(x,菊花) v L(x,梅花）∧ L（x，菊花））

（2）有的人每天下午都去打篮球。

         解：首先定义谓词：

         P(x)：x是人。

         Pb(x)：x打篮球。

         In(x,afternoon)：x在下午。

         (∃x)( ∀afternoon)(P(x)→Pb(x) ∧ In(x,afternoon))

（3）新型计算机速度又快，存储容量又大。

         解：首先定义谓词：

         C(x)：x是新型计算机。