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

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

Guest