《离散数学课件》命题逻辑3.pptVIP

* 例2 找出下列推理的有效结论。 如果我考试通过了，那么我很快乐。如果我 快乐。那么阳光灿烂。现在阳光不灿烂且天很暖。 因此我考试没通过。 解 设p： 我考试通过了， q： 我很快乐， r： 阳光灿烂， s： 天很暖。 前提：p→q， q→r， ? r ù s 结论： ? p * 前提：p→q， q→r， ? r ù s 结论： ? p （1） p→q 前提引入 （2） q→r 前提引入 （3） p→r （1）（2）假言三段论 （4） ? r∧s 前提引入 （5） ? r （4）化简 （6） ? p （5）（3）拒取式 所以有效结论是： 我考试没通过。 * 例3 证明Ｒ∨Ｓ是前题Ｃ∨Ｄ，Ｃ→Ｒ，Ｄ→Ｓ的有效结论，即证明： (C∨D)∧(C→R)∧(D→S)?(R∨S)。 证明：① C∨D 前提引入 ② ?C→D 置换 ③ D→S 前提引入 ④ ?C→S