1.邏輯聯(lián)結(jié)詞、簡(jiǎn)單命題與復(fù)合命題
“或”、“且”、“非”這些詞叫做邏輯聯(lián)結(jié)詞。
不含有邏輯聯(lián)結(jié)詞的命題是簡(jiǎn)單命題。
由簡(jiǎn)單命題和邏輯聯(lián)結(jié)詞“或”、“且”、“非”構(gòu)成的命題是復(fù)合命題。
復(fù)合命題的形式:p或q(記作“p∨q”);p且q(記作“p∧q”);非p(記作“┑q”)。
2.“或”、“且”、“非”的真值判斷
(1)“非p”形式復(fù)合命題的真假與p的真假相反;
(2)“p且q”形式復(fù)合命題當(dāng)P與q同為真時(shí)為真,其他情況時(shí)為假;
(3)“p或q”形式復(fù)合命題當(dāng)p與q同為假時(shí)為假,其他情況時(shí)為真。
3.四種命題的形式
原命題:若P則q;
逆命題:若q則p;
否命題:若┑P則┑q;
逆否命題:若┑q則┑p。
4.四種命題之間的相互關(guān)系
一個(gè)命題的真假與其他三個(gè)命題的真假有如下三條關(guān)系:(原命題逆否命題)
原命題為真,它的逆命題不一定為真。
原命題為真,它的否命題不一定為真。
原命題為真,它的逆否命題一定為真。
5.充分條件、必要條件、充要條件
充分條件:條件p成立 結(jié)論q成立,則稱(chēng)條件p是結(jié)論q的充分條件;
必要條件:結(jié)論q成立 條件p成立,則稱(chēng)條件p是結(jié)論q的必要條件;
充要條件:條件p成立 結(jié)論q成立,則稱(chēng)條件p是結(jié)論q的充要條件。