2013法律逻辑学(第四讲)+复合命题概论.pptVIP

p q p∨q ① + + + ② + - + ③ - + + ④ - - - 返回 （p∨q）的真值表 “p或者q” 是假的 p q p∧q ① + + + ② + - - ③ - + - ④ - - - （p∧q）的真值表 “p并且q” 是假的 返回 p q p→q ① + + + ② + - - ③ - + + ④ - - + “如果p，那么q” 是假的 返回 p→q + - - p q p←q ① + + + ② + - + ③ - + - ④ - - + “只有p，才q” 是假的 返回 p←q - - + 等值式“～（p→q）←→（p∧～q） ”称为“蕴涵否定等值律”，简称为“蕴否律”。 根据蕴否律，则有： ～（～A→B） ←→（～A∧～B） ～（A→～B） ←→（A∧B） …… 课堂练习： 某人涉嫌一刑事案件而受到指控。法庭辩论中，检察官与辩护律师有如下辩论： 控方：如果被告人作案，则他必有同伙 辩方：这不可能。 5.6．蕴涵析取等值律 （p→q) （～p∨q） 据双否律 ～（p→q） ★ 等值式两边同时否定，等值式不变 ★ （p∧～q） ～（ ） ～（ ） 据德摩根律 本案作案人不是张三，就是李四 本案作案人或者是张三，