充分条件假言推理有效式:肯定前件式:(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