逻辑学复合与命题.ppt

4．关于法律命题的基本模式 法律规范，总是表现为不同语句形式或命题形式，其总体的也是最基本的模式为：假设句。 如果 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 - - + * 5.5．充分条件假言命题的负命题与蕴涵否定等值律 “如果p那么q”是假的 P是真的， 并且， q是假的 根据定义 并非“如果p那么q” ～（p→q） （p∧～q） 充分条件假言命题的负命题及其等值命题 根据真值表 （第2行） 并非“只要你去请她就会来”←→虽然你去请，她也不会来 等值式“～（p→q）←→（p∧～q） ”称为“蕴涵否定等值律”，简称为“蕴否律”。 根据蕴否律，则有： ～（～A→B） ←→（～A∧～