离散数学 命题辑.pptVIP

* * 2.条件论证 ⑴　A P (附加前提)　 ⑵ A∨B T ⑴ I3 ⑶ (A∨B)?(C∧D) T ⑷ C∧D T ⑵⑶ I11 ⑸ D T ⑷ I2 ⑹ D∨E T ⑸ I3 ⑺ (D∨E)?F P ⑻ F T ⑹⑺ I11 ⑼ A?F CP 显然此方法比直接推理简单。 Question * * 3.反证法 ⑴ ?(A?F) P (假设前提) ⑵ ?(?A∨F) T ⑴ E16 ⑶ A∧?F T ⑵ E9 ⑷ A T ⑶ I1 ⑸ A∨B T ⑴ I3 ⑹ (A∨B)?(C∧D) T ⑺ C∧D T ⑵⑶ I11 ⑻ D T ⑷ I2 ⑼ D∨E T ⑸ I3 ⑽ (D∨E)?F P ⑾ F T ⑹⑺ I11 ⑿ ?F T ⑶ I2 ⒀ F∧?F T ⑾ ⑿ I9 Question * * 补充题：请根据下面事实，找出凶手： 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 ?? Question * * A∨B,A??C,B?C, D?C，?D??E,H??A,G∧?H,E ?? ⑴ E P ⑵ ?D??E P ⑶ ??D T ⑴⑵ I ⑷ D T ⑶ E ⑸ D?C P ⑹ C T ⑷⑸ I ⑺ A??C P ⑻ ?A T ⑹⑺ I ⑼ A∨B P ⑽ B T⑻⑼ I 结果是秘书谋害了经理。 Question * * 思考：张先生手中有代号为A、B、C、D、E的五种股票，根据当前股市情况及张先生本人的经济需求，需要有若干个股票抛出，但又必须满足如下复杂的要求： （1）若A抛出，则B也抛出； （2）B和C要留一种股票且只能留一种； （3）C和D要么全抛，要么都不抛； （4）D和E两种股票中必然有一种或两种要抛出； （5）若E抛出，则A、B也抛出。 上述五种条件全部满足，问有几种合理的方案供张先生选择？(C∧D∧?E∧?A∧?B)∨(?C∧?D∧E∧A∧B) Question * * 例题４求证P→(Q→S),?R∨P,Q ?R→S 证明: (1) P→(Q→S) P (2) ?P∨(?Q∨S) T (1) E16 (