版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)
文檔簡介
1、命題1：命題的定義：命題的定義：用語言，符號或式子用語言，符號或式子表示表示可以判斷真假可以判斷真假的陳述句陳述句叫做命題叫做命題真假命題：真假命題：語句為真語句為真的命題命題叫真命題叫真命題語句為假語句為假的命題命題叫假命題叫假命題命題的劃分命題的劃分命題分為命題分為簡單命題簡單命題復(fù)合命題復(fù)合命題量詞（全稱，特稱）命題量詞（全稱，特稱）命題一般命題1：幾種命題：幾種命題命題的否定命題的否定條件不變只否定結(jié)論條件不變只否定結(jié)論原命題原
2、命題有條件與結(jié)論的命題有條件與結(jié)論的命題逆命題逆命題交換原命題的條件和結(jié)論，所得的命題叫逆命題；交換原命題的條件和結(jié)論，所得的命題叫逆命題；否命題否命題同時否定原命題的條件和結(jié)論，所得的命題是否命題；同時否定原命題的條件和結(jié)論，所得的命題是否命題；逆否命題逆否命題交換原命題的條件和結(jié)論，并且同時否定條件與結(jié)論，所得的命題是逆否命題；交換原命題的條件和結(jié)論，并且同時否定條件與結(jié)論，所得的命題是逆否命題；實例實例：原命題：原命題：若P則q；
3、逆命題：逆命題：若q則p；否命題否命題：若：若┑P┑P則┑q┑q；逆否命題：逆否命題：若┑q┑q則┑p┑p。2:2:邏輯聯(lián)結(jié)詞、簡單命題與復(fù)合命題：邏輯聯(lián)結(jié)詞、簡單命題與復(fù)合命題：1：“或”、“且”、“非”這些詞叫做邏輯聯(lián)結(jié)詞；這些詞叫做邏輯聯(lián)結(jié)詞；2：不含有邏輯聯(lián)結(jié)詞的命題叫簡單命題；由簡單命題和邏輯聯(lián)結(jié)詞構(gòu)成的命題叫復(fù)合：不含有邏輯聯(lián)結(jié)詞的命題叫簡單命題；由簡單命題和邏輯聯(lián)結(jié)詞構(gòu)成的命題叫復(fù)合命題。命題。3：構(gòu)成復(fù)合命題的形式：：構(gòu)
4、成復(fù)合命題的形式：p或q(q(記作記作“p∨q”“p∨q”)；p且q(q(記作記作“p∧q”“p∧q”)；非p(p(記作記作“┑q”“┑q”)。原命題原命題逆命題逆命題否命題否命題逆否命題逆否命題真真（假）真（假）真（假）真（假）真假真（假）真（假）真（假）真（假）假1：定義：：定義：全稱命題全稱命題含有全稱量詞的命題叫全稱命題含有全稱量詞的命題叫全稱命題短語短語“對所有的對所有的”“對任意一個對任意一個”在邏輯中通常在邏輯中通常叫做全
5、稱量詞叫做全稱量詞特稱命題特稱命題含有存在量詞的命題叫特稱命題含有存在量詞的命題叫特稱命題短語短語“存在一個存在一個”“至少有一個至少有一個”在邏輯中通常在邏輯中通常叫做存在量詞叫做存在量詞2：特殊命題的否定：特殊命題的否定特殊命題特殊命題p:p:xMP(x)的否定命題為x。MP(x.)(x.)?????xMP(x)的否定命題為x。MP(x.)(x.)?????7、反證法：、反證法：從命題結(jié)論的反面出發(fā)（假設(shè)）從命題結(jié)論的反面出發(fā)（假設(shè)
溫馨提示
- 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. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
評論
0/150
提交評論