




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、3 命題及其演算,一、判斷與命題 二、簡單命題與復(fù)合命題 三、命題演算,一、判斷與命題,(一)判斷 反映事物具有或不具有某種屬性或關(guān)系的思維形式叫做判斷(judge). 判斷作為一種思維形式,與表達(dá)它的語句有密切關(guān)系,判斷必須用語句來表達(dá),但并非所有的語句都是判斷.,(二)命題,在數(shù)學(xué)中,用語言、符號或式子表示的并且能區(qū)別真假的語句也叫數(shù)學(xué)命題. 或者說命題就是具有真假值的語句. 我們把不能再分解的命題,這樣的命題叫做簡單命題.,我們把不能再分解的命題,這樣的命題叫做簡單命題.能夠分解為若干個(gè)簡單命題的命題稱之為復(fù)合命題。,二、簡單命題與復(fù)合命題,復(fù)合命題有四種: (1)非命題 (2)聯(lián)言命題
2、 (3)選言命題 (4)假言命題,(一)非命題 給定命題p,用聯(lián)結(jié)詞“非”構(gòu)成的復(fù)合命題“非p”叫做命題p的否定式(或稱為非命題),記為p. 真值定義: p p 1 0 0 1,(二)聯(lián)言命題 給定兩個(gè)命題p、q,用聯(lián)結(jié)詞“且”構(gòu)成的復(fù)合命題“p且q”叫做p、q的合取式(或稱做聯(lián)言命題),記為pq 真值定義: p q pq 1 1 1 1 0 0 0 1 0 0 0 0,(三)選言命題 給定兩個(gè)命題p、q,用聯(lián)結(jié)詞“或”構(gòu)成的復(fù)合命題“p或q”叫做p、q的析取式(或稱為選言命題),記做“pq”。 真值定義: p q pq 1 1 1 1 0 1 0 1 1 0 0 0,(四)假言命題 給定兩個(gè)
3、命題p、q,用聯(lián)結(jié)詞“若則”構(gòu)成的復(fù)合命題“若p則q”叫做p、q的蘊(yùn)涵式(或稱假言命題),記為“pq”.其中p稱為前件,q稱為后件。 真值定義: P q pq 1 1 1 1 0 0 0 1 1 0 0 1,復(fù)合命題的4種基本形式,分別用4個(gè)邏輯聯(lián)結(jié)詞由命題p或q組成.在這基礎(chǔ)上,可以進(jìn)一步運(yùn)用真值聯(lián)結(jié)詞構(gòu)成新的更復(fù)雜的命題. 例(pq)pq的真值表如下: p q pq (pq)p (pq)pq 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1,三、命題演算,等價(jià)命題,設(shè)兩個(gè)公式、,如果不論對它們的全部命題變元如何賦值,、的真值完全相同,那么,、邏輯等價(jià),此時(shí),稱、為互為等價(jià)的命題,記為=. 命題的等價(jià)關(guān)系具有反身性,對稱性和傳遞性。,一些基本等價(jià)命題,(1)(交換律)pq=qp,pq=qp. (2)(結(jié)合律)(pq)r=p(qr), (pq)r=p(qr). (3)(分配律)p(qr)=pqpr, pqr=(pq)(pr). (4)(雙重否定律)p=p. (5)(德摩根律)(pq)= pq, (pq)= pq. (6)pq= pq,(pq)=pq.,常見的等價(jià)命題轉(zhuǎn)換有以下幾種,
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 全球勘察市場技術(shù)發(fā)展趨勢研究考核試卷
- 合作伙伴關(guān)系績效提升策略考核試卷
- 供水設(shè)施維護(hù)人員職業(yè)健康安全考核試卷
- 智能印刷生產(chǎn)設(shè)備智能化改造的案例分析考核試卷
- 聚脲噴涂施工合同
- 混凝土強(qiáng)度影響因素及其改善措施
- 民兵表彰活動(dòng)方案
- 歌唱教學(xué)活動(dòng)方案
- 民生購物活動(dòng)方案
- 汽車音響活動(dòng)方案
- 遭遇暴徒的應(yīng)急預(yù)案及流程
- 《城市排水管渠數(shù)字化檢測與評估技術(shù)規(guī)程》
- 醫(yī)?;鸨O(jiān)管培訓(xùn)課件
- 穿越華裾-中華服飾之美智慧樹知到期末考試答案2024年
- 咳喘疾病中氣道重塑的機(jī)制及治療靶點(diǎn)研究
- 藥店人際關(guān)系建設(shè)與溝通技巧培訓(xùn)
- 機(jī)電安裝質(zhì)量檢測報(bào)告
- 30道醫(yī)院眼科醫(yī)生崗位高頻面試問題附考察點(diǎn)及參考回答
- 北師大版數(shù)學(xué)小學(xué)二年級下冊期末無紙筆化檢測題
- 利盟ms823dn維修手冊
- 形式發(fā)票樣本
評論
0/150
提交評論