●基本命题及其常用表达法：

　　1.若A→B为原命题，则

　　B→A为逆命题

　　～A→～B为否命题

　　～B→～A为逆否命题

　　若原命题成立，则逆否命题一定成立，但逆命题和否命题不一定成立。

　　2.unless：＝if not即not A unless B表达为A→B

　　A unless B表达为～A→B

　　if：A if B表达为B→A

　　only if：A only if B表达为A→B

　　if only：A if only B表达为B→A

　　if and only if：A if and only if B表达为A←→B

　　A is necessary to B,precondition:B→A

　　whenever,whoever,wherever=if

　　●或命题和与命题：

　　或命题：B1 or B2表达为B1＋B2

　　与命题：B1 and B2表达为B1B2

　　A→B1＋B2的逆否命题为～B1～B2→～A

　　A→B1B2的逆否命题为～B1＋～B2→～A

　　B1＋B2→A的逆否命题为～A→～B1～B2

　　B1B2→A的逆否命题为～A→～B1＋～B2

　　●如何理解充分条件和必要条件

　　1.充分：所谓充分条件就是仅有这些条件就足以带来结果，无需考虑别的条件了。它是谁成立，谁也一定成立，比如A→B，如果A成立，那么一定有B，则A是B的充分条件。

　　2.必要：所谓必要条件就是没有这个条件，结论一定不对。比如B→A成立，那么A是B成立的必要条件。(编辑：Shary)