關于高中數(shù)學常用邏輯用語第1頁，共31頁，2023年，2月20日，星期日知識網(wǎng)絡

常用邏輯用語命題及其關系簡單的邏輯聯(lián)結詞全稱量詞與存在量詞四種命題充分條件與必要條件量詞全稱量詞存在量詞含有一個量詞的否定或且非并集交集補集運算第2頁，共31頁，2023年，2月20日，星期日命題的形式：“若P,則q”

通常,我們把這種形式的命題中的P叫做命題的條件,q叫做結論.記做:一.用語言、符號或式子表達的，可以判斷真假的陳述句稱為命題．命題其中判斷為真的語句稱為真命題，判斷為假的語句稱為假命題．第3頁，共31頁，2023年，2月20日，星期日若p則q逆否命題：原命題：逆命題：否命題：若q則p若

p則

q若

q則

p二、四種命題結論1：要寫出一個命題的另外三個命題關鍵是分清命題的題設和結論（即把原命題寫成“若p則q”的形式）注意：三種命題中最難寫的是否命題。結論2：（1）“或”的否定為“且”，（2）“且”的否定為“或”，（3）“都”的否定為“不都”。第4頁，共31頁，2023年，2月20日，星期日三、四種命題之間的關系原命題若p則q逆命題若q則p否命題若﹁p則﹁q逆否命題若﹁q則﹁p互逆互否互否互逆互為逆否第5頁，共31頁，2023年，2月20日，星期日（2）若其逆命題為真，則其否命題一定為真。但其原命題、逆否命題不一定為真。

(1)原命題與逆否命題同真假。(2)原命題的逆命題與否命題同真假。（1）原命題為真，則其逆否命題一定為真。但其逆命題、否命題不一定為真。四、命題真假性判斷結論：第6頁，共31頁，2023年，2月20日，星期日反證法的一般步驟：假設命題的結論不成立,即假設結論的反面成立；

從這個假設出發(fā)，經(jīng)過推理論證，得出矛盾；

(3)由矛盾判定假設不正確，從而肯定命題的結論正確。

反設歸謬結論反證法第7頁，共31頁，2023年，2月20日，星期日1.寫出命題“當c＞0時，若a＞b，則ac＞bc“的逆命題，否命題與逆否命題，并分別判斷他們的真假

2.寫出命題“若x≠a且x≠b，則x2－（a＋b）x＋ab≠0”的否命題第8頁，共31頁，2023年，2月20日，星期日

如果命題“若p則q”為真，則記作pq（或qp）。定義:如果,則說p是q的充分條件,q是p的必要條件

如果命題“若p則q”為假，則記作pq。充要條件

從集合角度理解：pq，相當于Pq，

即Pq或P、q

第9頁，共31頁，2023年，2月20日，星期日充要條件定義:稱:p是q的充分必要條件,簡稱充要條件顯然,如果p是q的充要條件,那么q也是p的充要條件p與q互為充要條件(也可以說成”p與q等價”)第10頁，共31頁，2023年，2月20日，星期日1、充分且必要條件2、充分非必要條件3、必要非充分條件4、既不充分也不必要條件各種條件的可能情況第11頁，共31頁，2023年，2月20日，星期日2、從邏輯推理關系看充分條件、必要條件:充分非必要條件必要非充分條件1）AB且BA，則A是B的2）若AB且BA，則A是B的3）若AB且BA，則A是B的既不充分也不必要條件充分且必要條件4）AB且BA，則A是B的第12頁，共31頁，2023年，2月20日，星期日3、從集合與集合的關系看充分條件、必要條件3）若AB且BA，則甲是乙的2)若AB且BA，則甲是乙的1）若AB且BA，則甲是乙的充分非必要條件必要非充分條件既不充分也不必要條件一般情況下若條件甲為ｘ∈Ａ，條件乙為ｘ∈Ｂ4）若A=B，則甲是乙的充分且必要條件。第13頁，共31頁，2023年，2月20日，星期日1.在判斷條件時，要特別注意的是它們能否互相推出，切不可不加判斷以單向推出代替雙向推出.注意點2.搞清①A是B的充分條件與A是B的充分非必要條件之間的區(qū)別與聯(lián)系；②A是B的必要條件與A是B的必要非充分條件之間的區(qū)別與聯(lián)系３、注意幾種方法的靈活使用：

定義法、集合法、逆否命題法第14頁，共31頁，2023年，2月20日，星期日1：填寫“充分不必要，必要不充分，充要，既不充分又不必要。1）sinA>sinB是A>B的___________條件。2）在ΔABC中，sinA>sinB是A>B的

________條件。既不充分又不必要充要條件注、定義法（圖形分析）第15頁，共31頁，2023年，2月20日，星期日2、a＞b成立的充分不必要的條件是（）

A.ac＞bcB.a/c＞b/cC.a+c＞b+cD.ac2＞bc2D3.關于x的不等式：｜x｜+｜x-1｜＞m的解集為R的充要條件是()(A)m＜0(B)m≤0(C)m＜1(D)m≤1C第16頁，共31頁，2023年，2月20日，星期日練習4、1、設集合M={x|x>2},N={x|x<3},那么”x∈M或x∈N”是“x∈M∩N”的

A.充要條件B必要不充分條件

C充分不必要D既不充分也不必要B注、集合法2、a∈R,|a|<3成立的一個必要不充分條件是

A.a<3B.|a|<2C.a2<9D.0<a<2A第17頁，共31頁，2023年，2月20日，星期日1.已知p是q的必要而不充分條件，那么┐p是┐q的_______________.練習5、充分不必要條件注、等價法（轉化為逆否命題）2：若┐A是┐B的充要條件,┐C是┐B的充要條件,則A為C的（）條件

A.充要B必要不充分

C充分不必要D既不充分也不必要Ａ第18頁，共31頁，2023年，2月20日，星期日集合法與轉化法1.已知P：｜2x-3｜＞1；q：1/(x2+x-6)＞0，則┐p是┐q的(

)(A)充分不必要條件

(B)必要不充分條件

(C)充要條件

(D)既不充分也不必要條件2、已知p：|x+1|＞2，q：x2＜5x－6,

則┐p是┐q的（）

A.充分不必要條件B.必要不充分條件

C.充要條件D.既非充分又非必要條件練習6、AA第19頁，共31頁，2023年，2月20日，星期日7.求關于x的方程x2-mx+3m-2=0的兩根均大于1的充要條件

8.設p：|4x－3|≤1，q：x2－（2a+1）x+a（a+1）≤0。若p是q的必要不充分條件

，求實數(shù)a的取值范圍。

第20頁，共31頁，2023年，2月20日，星期日我們再來看幾個復雜的命題:(1)10可以被2或5整除.(2)菱形的對角線互相垂直且平分.(3)0.5非整數(shù).

“或”,“且”,“非”稱為邏輯聯(lián)結詞.含有邏輯聯(lián)結詞的命題稱為復合命題,不含邏輯聯(lián)結詞的命題稱為簡單命題.復合命題有以下三種形式:(1)P且q.(2)P或q.(3)非p.第21頁，共31頁，2023年，2月20日，星期日一般地,用邏輯聯(lián)結詞”且”把命題p和命題q聯(lián)結起來.就得到一個新命題,記作

讀作”p且q”.邏輯聯(lián)結詞：或、且、非規(guī)定:當p,q都是真命題時,是真命題;當p,q兩個命題中有一個命題是假命題時,是假命題.pq全真為真,有假即假.第22頁，共31頁，2023年，2月20日，星期日一般地,用邏輯聯(lián)結詞”或”把命題p和命題q聯(lián)結起來.就得到一個新命題,記作規(guī)定:當p,q兩個命題中有一個是真命題時,是真命題;當p,q兩個命題中都是假命題時,是假命題.pq第23頁，共31頁，2023年，2月20日，星期日一般地,對一個命題p全盤否定,就得到一個新命題,記作讀作”非p”或”p的否定”“非”命題對常見的幾個正面詞語的否定.正面=>是都是至多有一個至少有一個任意的所有的否定≠≤不是不都是至少有兩個沒有一個某個某些第24頁，共31頁，2023年，2月20日，星期日1.已知p:方程有兩個不等的負實根；q:方程無實根.若為真，為假，求實數(shù)m的取值范圍2.給出下列命題：①關于x的不等式對xR恒成立；②是減函數(shù)。若①和②中至少有一個是真命題，求實數(shù)m的取值范圍第25頁，共31頁，2023年，2月20日，星期日常見的全稱量詞還有:“對所有的”,”對任意一個”,”對一切”,”對每一個”,”任給”,”所有的”等.

短語”對所有的””對任意一個”在邏輯中通常叫做全稱量詞,并用符號“”表示.含有全稱量詞的命題,叫做全稱命題.

全稱量詞與存在量詞第26頁，共31頁，2023年，2月20日，星期日全稱命題”對M中任意一個x有p(x)成立”可用符號簡記為讀作”對任意x屬于M,有p(x)成立”.第27頁，共31頁，2023年，2月20日，星期日

常見的存在量詞還有”有些””有一個””有的””對某個”等.

短語”存在一個””至少有一個”在邏輯上通常叫做存在量詞,并用符號””表示.含有存在量詞的命題,叫做特稱命題.存在量詞

特稱命題”存在M中的一個x,使p(x)成立”可用符號簡記為讀做”存在