肯定前件论式 (p → q) ; p ├ q 如果 p 则 q; p; 所以,q 否定后件论式 (p → q) ; ¬q ├ ¬p 如果 p 则 q; 非 q; 所以,非 p 假言三段论式 (p → q) ; (q → r) ├ (p → r) 如果 p 则 q; 如果 q 则 r; 所以,...