
定义:
1)若有A就有B,则A称为B的充分条件;
2)若无A就无B,则A称为B的必要条件;
3)若有A就有B且无A就无B,则称A为B的充分必要条件,简称充要条件。
定理:若A是B的充分条件,则B是A的必要条件;若B是A的必要条件,则A是B的充分条件。
证明:根据原命题与逆否命题的同真同假关系,有
(1)A→B⇒¬B→¬A;
(2)¬B→¬A⇒A→B
Q.E.D.

定义:
1)若有A就有B,则A称为B的充分条件;
2)若无A就无B,则A称为B的必要条件;
3)若有A就有B且无A就无B,则称A为B的充分必要条件,简称充要条件。
定理:若A是B的充分条件,则B是A的必要条件;若B是A的必要条件,则A是B的充分条件。
证明:根据原命题与逆否命题的同真同假关系,有
(1)A→B⇒¬B→¬A;
(2)¬B→¬A⇒A→B
Q.E.D.