- 相關(guān)推薦
GRE英語邏輯基本命題知識(shí)與符號
●基本命題及其常用表達(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é)論一定不對。比如B→A成立,那么A是B成立的必要條件。
【GRE英語邏輯基本命題知識(shí)與符號】相關(guān)文章:
從命題邏輯看現(xiàn)代符號邏輯對傳統(tǒng)形式邏輯的改造和發(fā)展04-30
二值命題邏輯中邏輯推理的有效度04-26
Peirce*邏輯代數(shù)中的幾個(gè)符號及其它05-01
命題邏輯講真不講假04-27
命題邏輯在語用研究中的應(yīng)用05-02
經(jīng)典命題邏輯的本體論承諾05-03
關(guān)于邏輯基本問題的思考04-30
初探邏輯真理的基本問題05-02
考研英語新題型三大命題邏輯及解題思路05-02