3.1 推理的形式结构.pptVIP

第三章 命题逻辑的推理理论;3.1 推理的形式结构 ;定义（推理的形式结构） 设A1，A2，…，Ak，B都是命题公式，若 （A1∧A2∧…∧Ak）→B为重言式，则称由前提A1， A2，…，Ak推出B的推理是有效的或正确的，称B是A1，A2，…，Ak的有效结论或正确结论。 称（A1∧A2∧…∧Ak）→B为由前提A1，A2，…，Ak推出结论B的推理的形式结构。 ;例：判断下面各推理是否正确。 （1）马芳或去看电影或去游泳。她没去看电影。所以她去游泳了。 （2）若下午气温超过30度，则王燕必去游泳。若她去游泳，她就不去看???影了。所以，若王燕没去看电影，下午气温必超过30度。; （1）马芳或去看电影或去游泳。她没去看电影。所以她去游泳了。 解： 设：p：马芳去看电影，q：马芳去游泳 前提：p∨q，┐p 结论：q 推理的形式结构：（（p∨q）∧┐p））→q;判断方法一：真值表法;判断方法二：等值演算法 ;判断方法三：主析取范式法 ; （2）若下午气温超过30度，则王燕必去游泳。若她去游泳，她就不去看电影了。所以，若王燕没去看电影，下午气温必超过30度。 解：设p：下午气温超过30度；q：王燕去游