●基本命题及其常用表达法： 
　　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成立的必要条件。