数理逻辑

充分与必要

在命题中,AA 为条件,BB 为结论,则:

充分条件

如果 AA 能推出 BB,那么 AA 就是 BB充分条件

AA BB ABA \rarr B
T T T
F T T
F F T

AA 正确可以充分证明 BB 正确。

即:
如果有 AAA=TA = T ),则必然有 BBB=TB = T );如果 AA 不存在( ATA \neq T )未必 BB 不存在( BTB \neq T )。

必要条件

如果 BB 能推出 AA,那么 AA 就是 BB必要条件

AA BB BAB \rarr A
T T T
T F T
F F T

要证条件 BB 正确必须要条件 AA 正确作为前提。
即:
如果没有 AAA=FA = F),则必然没有 BBB=FB = F);如果有 AAA=TA = T)而未必有 BBB=TB = T)。

充分性与必要性

充要条件证明题的叙述方式一般有两种:

  1. “求证: AA BB 的充要条件”;
  2. "求证: AA 的充要条件 BB "。

由条件出发推出结论就是证明充分性,反之就是证明必要性
11 中, AA 是条件,由 AA 推出 BB 就是证明充分性,反之由 BB 推出 AA 就是证明必要性;
22 中,条件是 BB ,所以由 BB 推出 AA 就是证明充分性,反之由 AA 推出 BB 就是证明必要性。