GRE英语逻辑基本命题知识与符号
●基本命题及其常用表达法：
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成立的必要条件。