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

　　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成立的必要条件。

　　来源：