GRE英語邏輯基本命題知識與符號

　　●基本命題及其常用表達法：

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

【GRE英語邏輯基本命題知識與符號】相關文章：

從命題邏輯看現代符號邏輯對傳統形式邏輯的改造和發展04-30

英語語音語調基本知識03-10

二值命題邏輯中邏輯推理的有效度04-26

Peirce*邏輯代數中的幾個符號及其它05-01

命題邏輯講真不講假04-27

命題邏輯在語用研究中的應用05-02

經典命題邏輯的本體論承諾05-03

關于邏輯基本問題的思考04-30

初探邏輯真理的基本問題05-02

考研英語新題型三大命題邏輯及解題思路05-02