GRE邏輯基本命題知識(shí)與符號(hào)

●基本命題及其常用表達(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.充分：所謂充分條件就是僅有這些條件就足以帶來結(jié)果，無需考慮別的條件了。它是誰成立，誰也一定成立，比如A→B，如果A成立，那么一定有B，則A是B的充分條件。
    2.必要：所謂必要條件就是沒有這個(gè)條件，結(jié)論一定不對(duì)。比如B→A成立，那么A是B成立的必要條件。