第六章复合命题及其推理下.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 p←q ? (p←q) ? p∧ q;㈥充分必要条件假言命题的负命题及其对应的等值命题; p q p←→q ? (p←→q) ( p∧ ?q)∨ (? p∧ q）;㈦负命题的负命题 及其等值命题; p ? p ? ? p;;;;第二节假言推理的推广形式;㈠假言易位推理;⒈充分条件假言易位推理;;⒉必要条件假言易位推理;⒊充要条件假言易位推理;㈡假言联锁推理;⒈充分条件