高二數(shù)學(xué)常用邏輯用語
高二數(shù)學(xué)常用邏輯用語
數(shù)學(xué)是一門邏輯性很強(qiáng)的學(xué)科,幾乎處處涉及到命題之間的邏輯關(guān)系和推理論證,下面是學(xué)習(xí)啦小編給大家?guī)淼母叨?shù)學(xué)常用邏輯用語,希望對(duì)你有幫助。
高二數(shù)學(xué)邏輯用語:
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、全稱命題與特稱命題:
短語“所有”在陳述中表示所述事物的全體,邏輯中通常叫做全稱量詞,并用符號(hào)表示。含有全體量詞的命題,叫做全稱命題。
短語“有一個(gè)”或“有些”或“至少有一個(gè)”在陳述中表示所述事物的個(gè)體或部分,邏輯中通常叫做存在量詞,并用符號(hào) 表示,含有存在量詞的命題,叫做存在性命題。
全稱命題p: ; 全稱命題p的否定 p:。
特稱命題p: ; 特稱命題p的否定 p: