翻译规则一:“前→后”
如果/就/都/一定（四大金刚）
翻译规则二：“后→前”
只有…，才…
1、除非A否则不B：B→A；除非A否则B：-B→A
2、谁必不可少，谁在箭头后（一老大，俩变态）
推理规则一：逆否等价
符号表示：A→B=-B→-A
文字表示:肯前必肯后，否后必否前
否前、肯后无必然结论（可能 / 可能不）
递推原则：A→B，B→C可得A→B→C
翻译规则三：“且、或”
二者同时成立 符号表示：A 且 B
二者至少一个成立 符号表示：A 或 B
推理规则二：“否一→一”
文字表示：当“或”关系为真时，否定一项可以得到另一项
符号表示：A 或 B 为真，-A → B/-B → A （技巧一个打×一个抄下，无顺序）
推理规则三：“德·摩根定律”
-（A 且 B）＝ -A 或 -B
-（A 或 B）＝ -A 且 -B
“-”进去，“且”“或”互变
“且”关系常考考点：缺一不可
A→B且C，可以得到：-B→-A/-C→-A
