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