




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領
文檔簡介
1、簡易邏輯,一、命題的有關(guān)概念,1.命題,可以判斷真假的語句.,“非 p”形式的復合命題與 p 的真假相反;,2.邏輯聯(lián)結(jié)詞,“或”、“且”、“非”.,3.簡單命題,不含邏輯聯(lián)結(jié)詞的命題.,4.復合命題,含有邏輯聯(lián)結(jié)詞的命題.,5.復合命題真值表,“p 或 q”形式的復合命題當 p 與 q 同時為假時為假, 其它情形為真;,“p 且 q”形式的復合命題當p 與q同時為真時為真, 其它情形為假.,二、命題的四種形式,逆否命題: 若q, 則p.,原命題: 若 p, 則 q;,逆命題: 若 q, 則 p;,否命題: 若p, 則q;,注: 互為逆否命題的兩個命題同真假.,三、反證法,1.一般步驟,反設:
2、 假設命題的結(jié)論不成立, 即假設結(jié)論的反面成立;,歸謬: 從假設出發(fā), 經(jīng)過推理論證, 得出矛盾;,結(jié)論: 由矛盾判定假設不正確, 從而肯定命題的結(jié)論正確.,2.命題特點,結(jié)論本身以否定形式出現(xiàn);,結(jié)論是“至少”、“至多”、“唯一”、“都是”等形式;,結(jié)論涉及“存在或不存在”,“有限或無限”等形式;,結(jié)論的反面比原結(jié)論更具體或更易于證明.,3.特殊結(jié)論的反設,4.引出矛盾的形式,由假設結(jié)論 q 不成立, 得到條件 p 不成立;,由假設結(jié)論 q 不成立, 得到結(jié)論 q 成立;,由假設結(jié)論 q 不成立, 得到一個恒假命題;,分別由假設與條件推得的兩個結(jié)論矛盾.,典型例題,用反證法證明下列各題:,1
3、.某班有 49 位學生, 證明: 至少有 5 位學生的生日同月.,2.若 p1p2=2(q1+q2), 證明關(guān)于 x 的方程 x2+p1x+q1=0 與 x2+p2x+ q2=0 中, 至少有一個方程有實根.,證: 假設至多有 4 位學生的生日同月, 即:,生日在 1, 2, , 12 月的學生人數(shù)都不超過 4 人.,則該班學生總數(shù) m412=48人,與該班有 49 位學生的條件矛盾,假設不成立.,至少有 5 位學生的生日同月.,1.某班有 49 位學生, 證明: 至少有 5 位學生的生日同月.,證: 假設這兩個方程都沒有實根, 則 10 且 20, 從而有:,1+20.,又1+2=(p12-
4、4q1)+(p22-4q2)=p12+p22-4(q1+q2),=p12+p22-2p1p2=(p1-p2)20,與 1+20 矛盾.,即 1+20,假設不成立.,故這兩個方程至少有一個有實根.,2.若 p1p2=2(q1+q2), 證明關(guān)于 x 的方程 x2+p1x+q1=0 與 x2+p2x+ q2=0 中, 至少有一個方程有實根.,與式相加得 -4a-2 ,與式相加得 -6a-4 ,顯然與矛盾,假設不成立.,a, b, c 三數(shù)均小于 1,證: 假設 a, b, c 中至多有一個數(shù)不小于 1, 這包含兩種情況:,即 0a1, 0b1, 0c1, 則:,與已知條件矛盾;,也與已知條件矛盾.
5、,a, b, c 中恰有兩數(shù)小于 1, 不妨設 0a1, 0b1, 而 c1,假設不成立.,a, b, c 中至少有兩個不小于 1.,課堂練習,3.方程 x2 -mx+4=0 在-1, 1上有解, 求實數(shù) m 的取值范圍.,1.證: 設三個方程的判別式分別為1, 2, 3,由 1+2+3=b2 -ac+c2 -ba+a2 -cb,即 1+2+3 0.,故所述三個方程中至少有一個方程有實數(shù)根.,1, 2, 3 中至少有一個非負.,即 |1+a+b|+|-2b|+|1-a+b|2. ,又|1+a+b|+|-2b|+|1-a+b|(1+a+b)-2b+(1-a+b)|=2,即 |1+a+b|+|-2b|+|1-a+b|2,與式矛盾.,假設不成立.,3.方程 x2 -mx+4=0 在-1, 1上有解, 求實數(shù) m 的取值范圍.,解: 先考慮 x2 -mx+4=0 在-1, 1上無解時 m 的取值范圍.,包含兩種情況: 方程 x2 -mx+4=0 無實數(shù)解;,方程有實數(shù)解, 但解不在 -1, 1 上.,設 f(x)=
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 項目工程造價培訓課件
- 兒童多動癥的健康教育
- 部隊反邪教課件
- 高效節(jié)能電機項目經(jīng)濟效益和社會效益分析報告(范文)
- 2025年會計、審計及稅務服務項目發(fā)展計劃
- 新解讀《建筑信息模型(BIM)應用標準 DBJ-T 36-069-2021》解讀
- 2025年壬基酚聚氧乙烯醚項目建議書
- 細胞生物學總結(jié)
- 2025年霍爾汽車點火系統(tǒng)項目合作計劃書
- 2025年花畫工藝品合作協(xié)議書
- 教師進企業(yè)實踐三方協(xié)議書
- 施工現(xiàn)場隱患圖片識別合集
- 山西省建設工程計價依據(jù)
- 煤礦在用安全設備檢測檢驗制度
- GB/T 24632.2-2009產(chǎn)品幾何技術(shù)規(guī)范(GPS)圓度第2部分:規(guī)范操作集
- GB/T 20428-2006巖石平板
- GB/T 11363-1989釬焊接頭強度試驗方法
- 內(nèi)調(diào)焦準距式望遠系統(tǒng)光學設計2022年
- 核磁共振的發(fā)展史課件
- 切紙機安全操作規(guī)程標準范本
- 國家開放大學2022秋法理學形考1-4參考答案
評論
0/150
提交評論