高二數(shù)學(xué)常用邏輯用語(yǔ)

　　數(shù)學(xué)是一門(mén)邏輯性很強(qiáng)的學(xué)科,幾乎處處涉及到命題之間的邏輯關(guān)系和推理論證，下面是學(xué)習(xí)啦小編給大家?guī)?lái)的高二數(shù)學(xué)常用邏輯用語(yǔ)，希望對(duì)你有幫助。

　　高二數(shù)學(xué)邏輯用語(yǔ)：

　　1、四種命題：

　?、旁}：若p則q;⑵逆命題：若q則p;⑶否命題：若 p則 q;⑷逆否命題：若 q則 p

　　注：1、原命題與逆否命題等價(jià);逆命題與否命題等價(jià)。判斷命題真假時(shí)注意轉(zhuǎn)化。

　　2、注意命題的否定與否命題的區(qū)別：命題否定形式是 ;否命題是 .命題“ 或 ”的否定是“ 且 ”;“ 且 ”的否定是“ 或 ”.

　　3、邏輯聯(lián)結(jié)詞：

　?、徘?and) ：命題形式 p q; p q p q p q p

　　⑵或(or)：命題形式 p q; 真 真 真 真 假

　?、欠?not)：命題形式 p . 真 假 假 真 假

　　假 真 假 真 真

　　假 假 假 假 真

　　“或命題”的真假特點(diǎn)是“一真即真，要假全假”;

　　“且命題”的真假特點(diǎn)是“一假即假，要真全真”;

　　“非命題”的真假特點(diǎn)是“一真一假”

　　4、充要條件

　　由條件可推出結(jié)論，條件是結(jié)論成立的充分條件;由結(jié)論可推出條件，則條件是結(jié)論成立的必要條件。

　　5、全稱(chēng)命題與特稱(chēng)命題：

　　短語(yǔ)“所有”在陳述中表示所述事物的全體，邏輯中通常叫做全稱(chēng)量詞，并用符號(hào)表示。含有全體量詞的命題，叫做全稱(chēng)命題。

　　短語(yǔ)“有一個(gè)”或“有些”或“至少有一個(gè)”在陳述中表示所述事物的個(gè)體或部分，邏輯中通常叫做存在量詞，并用符號(hào) 表示，含有存在量詞的命題，叫做存在性命題。

　　全稱(chēng)命題p： ; 全稱(chēng)命題p的否定 p：。

　　特稱(chēng)命題p： ; 特稱(chēng)命題p的否定 p：