版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
《常用邏輯用語(yǔ)》章節(jié)復(fù)習(xí)知識(shí)網(wǎng)絡(luò)
常用邏輯用語(yǔ)命題及其關(guān)系簡(jiǎn)單的邏輯聯(lián)結(jié)詞全稱量詞與存在量詞四種命題充分條件與必要條件量詞全稱量詞存在量詞含有一個(gè)量詞的否定或且非或并集交集補(bǔ)集運(yùn)算一個(gè)符號(hào)條件P的否認(rèn),記作“P”。讀作“非P”。假設(shè)p那么q逆否命題:原命題:逆命題:否命題:假設(shè)q那么p假設(shè)p那么q假設(shè)q那么p二、四種命題結(jié)論1:要寫出一個(gè)命題的另外三個(gè)命題關(guān)鍵是分清命題的題設(shè)和結(jié)論〔即把原命題寫成“假設(shè)P那么Q”的形式〕注意:三種命題中最難寫的是否命題。結(jié)論2:〔1〕“或”的否認(rèn)為“且”,〔2〕“且”的否認(rèn)為“或”,
四種命題之間的關(guān)系原命題假設(shè)p那么q逆命題假設(shè)q那么p否命題假設(shè)﹁p那么﹁q逆否命題假設(shè)﹁q那么﹁p互逆互否互否互逆互為逆否〔2〕假設(shè)其逆命題為真,那么其否命題一定為真。但其原命題、逆否命題不一定為真。
(1)原命題與逆否命題同真假。(2)原命題的逆命題與否命題同真假?!?〕原命題為真,那么其逆否命題一定為真。但其逆命題、否命題不一定為真。命題真假性判斷結(jié)論:反證法的一般步驟:假設(shè)命題的結(jié)論不成立,即假設(shè)結(jié)論的反面成立;
從這個(gè)假設(shè)出發(fā),經(jīng)過推理論證,得出矛盾;
(3)由矛盾判定假設(shè)不正確,從而肯定命題的結(jié)論正確。
反設(shè)歸謬結(jié)論反證法充分必要條件短語(yǔ)”對(duì)所有的””對(duì)任意一個(gè)”在邏輯中通常叫做全稱量詞,并用符號(hào)“”表示.含有全稱量詞的命題,叫做全稱命題,常見的全稱量詞還有:“對(duì)所有的”,”對(duì)任意一個(gè)”,”對(duì)一切”,”對(duì)每一個(gè)”,”任給”,”所有的”等.短語(yǔ)”對(duì)所有的””對(duì)任意一個(gè)”在邏輯中通常叫做全稱量詞,并用符號(hào)“”表示.含有全稱量詞的命題,叫做全稱命題.符號(hào)全稱命題”對(duì)M中任意一個(gè)x有p(x)成立”可用符號(hào)簡(jiǎn)記為讀作”對(duì)任意x屬于M,有p(x)成立”.短語(yǔ)”存在一個(gè)””至少有一個(gè)”在邏輯上通常叫做存在量詞,并用符號(hào)””表示.含有存在量詞的命題,叫做特稱命題.常見的存在量詞還有”有些””有一個(gè)””有的””對(duì)某個(gè)”等.特稱命題”存在M中的一個(gè)x,使p(x)成立”可用符號(hào)簡(jiǎn)記為讀做”存在一個(gè)x,使p(x)成立”.從命題形式上看,這三個(gè)全稱命題的否認(rèn)都變成了特稱命題.一般地,對(duì)于含有一個(gè)量詞的全稱命題的否認(rèn),有下面的結(jié)論:全稱命題p:全稱命題的否認(rèn)是特稱命題.從命題形式上看,這三個(gè)特稱命題的否認(rèn)都變成了全稱命題.一般地,對(duì)于含有一個(gè)量詞的特稱命題的否認(rèn),有下面的結(jié)論:特稱命題它的否定從命題形式上看,這三個(gè)特稱命題的否認(rèn)都變成了全稱命題.一般地,對(duì)于含有一個(gè)量詞的特稱命題的否認(rèn),有下面的結(jié)論:特稱命題特稱命題的否認(rèn)是全稱命題.[例2]判斷命題:“假設(shè)a+b≠7,那么a≠3,且b≠4”的真假.
溫馨提示
- 1. 本站所有資源如無(wú)特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 房地產(chǎn)稅對(duì)產(chǎn)業(yè)結(jié)構(gòu)升級(jí)的影響研究
- 活性炭磁改性及耦合非均相類Fenton體系處理水中四環(huán)素的研究
- 2025年云南錫業(yè)職業(yè)技術(shù)學(xué)院高職單招數(shù)學(xué)歷年(2016-2024)頻考點(diǎn)試題含答案解析
- 2025年內(nèi)蒙古體育職業(yè)學(xué)院高職單招語(yǔ)文2018-2024歷年參考題庫(kù)頻考點(diǎn)含答案解析
- 纖維素酶活性提升策略-洞察分析
- 2025年云南商務(wù)職業(yè)學(xué)院高職單招職業(yè)適應(yīng)性測(cè)試近5年常考版參考題庫(kù)含答案解析
- 2025年上海民航職業(yè)技術(shù)學(xué)院高職單招職業(yè)技能測(cè)試近5年??及鎱⒖碱}庫(kù)含答案解析
- 2025年三明醫(yī)學(xué)科技職業(yè)學(xué)院高職單招語(yǔ)文2018-2024歷年參考題庫(kù)頻考點(diǎn)含答案解析
- 問題解決能力測(cè)評(píng)-洞察分析
- 語(yǔ)音搜索與自然語(yǔ)言處理-洞察分析
- 2025年度版權(quán)授權(quán)協(xié)議:游戲角色形象設(shè)計(jì)與授權(quán)使用3篇
- 心肺復(fù)蘇課件2024
- 《城鎮(zhèn)燃?xì)忸I(lǐng)域重大隱患判定指導(dǎo)手冊(cè)》專題培訓(xùn)
- 湖南財(cái)政經(jīng)濟(jì)學(xué)院專升本管理學(xué)真題
- 全國(guó)身份證前六位、區(qū)號(hào)、郵編-編碼大全
- 2024-2025學(xué)年福建省廈門市第一中學(xué)高一(上)適應(yīng)性訓(xùn)練物理試卷(10月)(含答案)
- 《零售學(xué)第二版教學(xué)》課件
- 廣東省珠海市香洲區(qū)2023-2024學(xué)年四年級(jí)下學(xué)期期末數(shù)學(xué)試卷
- 房地產(chǎn)行業(yè)職業(yè)生涯規(guī)劃
- 江蘇省建筑與裝飾工程計(jì)價(jià)定額(2014)電子表格版
- MOOC 數(shù)字電路與系統(tǒng)-大連理工大學(xué) 中國(guó)大學(xué)慕課答案
評(píng)論
0/150
提交評(píng)論