命题逻辑精读.ppt

补充题：请根据下面事实，找出凶手： 1. 清洁工或者秘书谋害了经理。 2. 如果清洁工谋害了经理，则谋害不会发生在午夜前。 3.如果秘书的证词是正确的，则谋害发生在午夜前。 4.如果秘书的证词不正确，则午夜时屋里灯光未灭。 5. 如果清洁工富裕，则他不会谋害经理。 6.经理有钱且清洁工不富裕。 7.午夜时屋里灯灭了。 令A:清洁工谋害了经理。 B:秘书谋害了经理。 C:谋害发生在午夜前。 D:秘书的证词是正确的. E:午夜时屋里灯光灭了。H:清洁工富裕. G:经理有钱. A∨B,A??C,D?C,?D??E,H??A,G∧?H,E ?? A∨B,A??C,B?C, D?C, ?D??E,H??A,G∧?H,E ?? ⑴ E P ⑵ ?D??E P ⑶ D T⑴⑵ I ⑷ D?C P ⑸ C T⑷⑸ I ⑹ A??C P ⑺ ?A