5個前→後(充分條件假言命題的標誌詞)：

　　如果……那麼(就)……;

　　只要……就……;

　　若……就(則)……;

　　要想……必須……;

　　一……就……;

　　4個後→前(必要條件假言命題的標誌詞)：

　　只有……才……;

　　除非……否則不……;

　　……是……的基礎(必要的);

　　不……就不……;

　　3個否一推一：

　　除非……否則……;

　　……除非……：

　　……否則……：

2大命題：

假言命題的逆否命題(以真求真)：A→B 的逆否命題是非B→非A。

假言命題的矛盾命題(以真求假)：A→B的矛盾命題是A且非B。

1個連鎖推理：A→B→C→D→E

記住了上述公式，寫推理形式是不需要費腦筋思考的，直接根據標誌詞判斷推理形式然後迅速解題。