●基本命題及其常用表達(dá)法：
    1、若A→B為原命題，則
    B→A為逆命題
    ～A→～B為否命題
    ～B→～A為逆否命題
    若原命題成立，則逆否命題一定成立，但逆命題和否命題不一定成立。
    2、unless:＝if not即not A unless B表達(dá)為A→B
    A unless B表達(dá)為～A→B
    if: A if B表達(dá)為B→A
    only if: A only if B表達(dá)為A→B
    if only: A if only B表達(dá)為B→A
    if and only if:A if and only if B表達(dá)為A←→B
    A is necessary to B, precondition: B→A
    whenever, whoever, wherever=if
    ●或命題和與命題：
    或命題：B1 or B2表達(dá)為B1＋B2
    與命題：B1 and B2表達(dá)為B1B2
    A→B1＋B2的逆否命題為～B1～B2→～A
    A→B1B2的逆否命題為～B1＋～B2→～A
    B1＋B2→A的逆否命題為～A→～B1～B2
    B1B2→A的逆否命題為～A→～B1＋～B2
    ●如何理解充分條件和必要條件
    1、充分：所謂充分條件就是僅有這些條件就足以帶來(lái)結(jié)果，無(wú)需考慮別的條件了。它是誰(shuí)成立，誰(shuí)也一定成立，比如A→B，如果A成立，那么一定有B，則A是B的充分條件。
    2、必要：所謂必要條件就是沒(méi)有這個(gè)條件，結(jié)論一定不對(duì)。比如B→A成立，那么A是B成立的必要條件。