第四部分命题逻辑修改稿学习课件.ppt

（二）构造日常推理的形式证明 例1：如果不换8号上场（p）或12号上场(q)，甲队的形势不会好转(r)。 教练没有换8号上场，也没有换12号上场。 所以，甲队的形势不会好转。 将前提和结论形式化： A1：?(p∨q)→? r A2：?p∧?q B： ?r (1) ?(p∨q)→? r A1 (2) ?p∧?q A2 (3)?(p∨q) (2),R.P.(DeM) (4) ? r (1)，(3) ,→_ 原推理正确 构造日常推理的形式证明例2 有以下几个条件成立： （1）如果甲是作家(p)，那么乙不是律师(q)； （2）或者丙是作家(r)，或者甲是作家； （3）如果乙不是律师，那么丁不是演员； （4）或者丁是演员(s) ，或者戊不是医生。 （5）戊是医生(t)。 求证：丙是作家。 形式化： 前提：p → ?q; r ∨ p; ?q→?s; s ∨ ?t; t 结论：r (1) p → ?q A1 (2) r ∨ p A2 (3) ?q→?s A3 (4) s ∨ ?t A4 (5) t