逻辑学第三章.ppt

步骤1：将推论符号化。令：p：他上大学少年班q：他智力优越r：他上技术学校s：他打算将来从事脑力工作于是，推论符号化为：第233页,共289页，星期六，2024年，5月p→qp∨rq→s﹁s∴r步骤2：分析结论怎样从前提中推出。一般采用从结论向前提逆推的办法，也叫做“目标分析”的方法。第234页,共289页，星期六，2024年，5月步骤3：写出证明，即（1）p→q前提（2）p∨r前提（3）q→s前提（4）﹁s前提（5）﹁q（3）（4），否后（6）﹁p（1）（5），否后（7）r（2）（6），否析证毕。第235页,共289页，星期六，2024年，5月需要指出的是，对于一个推论的有效性的证明方法常常不止一种。例如，对于该推理，还可以将行（5）和行（6）改为：（5）p→s（1）（3），三段论（6）﹁p（4）（5），否后（7）r（2）（6），否析第236页,共289页，星期六，2024年，5月练习：用整推规则构造以下推论的有效性的证明。1，﹁R→(H→T)2，B→﹁AR→HB∧(C→D)T→SA∨C﹁H∴D∴H→S第237页,共289页，星期六，2024年，5月将下列推论符号化，然后构造它们的有效性的证明。1，或者如果甲当选校长那么他将改善学生生活，或者学生失望；倘若如果甲当选校长那么他将改善学生生活，那么学生拥护甲；如果学生失望，那么学生自由散漫；所以学生拥护甲；因为学生没有自由散漫。2，如果北京队胜或者上海队败，那么如果广州队胜那么广州队为冠军；如果辽宁队胜，那么上海队败并且广州队胜；或者辽宁队胜或者天津队胜；天津队败了；所以，广州队为冠军。3，如果李某家庭幸福，那么他有一个好妻子和一个好儿子；如果李某有一个好妻子或者有一个好朋友，那么他工作不吃力；李某工作吃力或者心情愉快；既然李某家庭生活幸福并且他练太极拳；所以，李某的心情愉快。第238页,共289页，星期六，2024年，5月置换规则对于任何命题P，无论它是以整个命题出现，还是作为命题的一个部分出现，都可用与它重言等值的命题Q来替换。可通过两种情况说明。见教程p74第239页,共289页，星期六，2024年，5月1，交换律根据重言等值式P∧Q←→Q∧PP∨Q←→Q→PP∧Q和Q∧P可以相互置换P∨Q和Q→P第240页,共289页，星期六，2024年，5月推论1推论3A∨(B→C)(H∨I)∧(I∧J)∴(B→C)∨A∴(I∧J)∧(H∨I)推论2推论4D→F∨G(K←→L)∧(L∧M)∴D→G∨F∴(K←→L)∧(M∧L)第241页,共289页，星期六，2024年，5月2，双重否定根据重言等值P←→﹁﹁PP和﹁﹁P可以相互置换第242页,共289页，星期六，2024年，5月推论5D∨(F∧G)∴﹁﹁D∨(F∧G)推论6L→(J→﹁﹁K)∴L→(J→K)第243页,共289页，星期六，2024年，5月推论7P∨Q→S∧T∴﹁﹁(P∨Q→S∧T)推论8﹁﹁(M←→M∨N)∴M←→M∨N第244页,共289页，星期六，2024年，5月3，德摩根律根据重言等值式﹁(P∧Q)←→﹁P∨﹁Q﹁(P∨Q)←→﹁P∧﹁Q﹁(P∧Q)和﹁P∨﹁Q可以互相置换﹁(P∨Q)和﹁P∧﹁Q可以互相置换第245页,共289页，星期六，2024年，5月推论9H→G∧D证明：﹁G∨﹁D（1）H→G∧D前提∴﹁H（2）﹁G∨﹁D前提（3）﹁（G∧D）（2）德摩根律（4）﹁H（1）（3），否后第246页,共289页，星期六，2024年，5月推论10﹁（M∧N）﹁（R∨S）N∴﹁（S∨M）第247页,共289页，星期六，2024年，5月