逻辑推理公式顺口溜（逻辑推理公式六句口诀）

充分条件假言推理有效式：肯定前件式：(p→q)∧p→q

否定后件式：(p→q)∧q→p

必要条件假言推理有效式：肯定后件式：(p←q)∧q→p

否定前件式：(p←q)∧p→q

充要条件假言推理有效式：肯定前件式：(p —— q)∧q→p

否定后件式：(p—— q)∧q→p

肯定后件式：(p—— q)∧q→p

否定前件式：(p—— q)∧p→q