版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、常用邏輯用語章節(jié)復習知識網(wǎng)絡 常用邏輯用語命題及其關系簡單的邏輯聯(lián)結詞全稱量詞與存在量詞四種命題充分條件與必要條件量詞全稱量詞存在量詞含有一個量詞的否定或且非或并集交集補集運算一個符號條件的否定,記作“”。讀作“非”。若p 則q逆否命題:原命題:逆命題:否命題:若q 則p若 p 則 q若 q 則 p二、 四 種 命 題結論1:要寫出一個命題的另外三個命題關鍵是分清命題的題設和結論(即把原命題寫成“若P則Q”的形式)注意:三種命題中最難寫 的是否命題。結論2:(1)“或”的否定為“且”, (2)“且”的否定為“或”, 四種命題之間的 關系原命題若p則q逆命題若q則p否命題若p則q逆否命題若q則p
2、互逆互否互否互逆互為 逆否(2) 若其逆命題為真,則其否命題一定為真。但其原命題、逆否命題不一定為真。 (1)原命題與逆否命題同真假。(2)原命題的逆命題與否命題同真假。(1) 原命題為真,則其逆否命題一定為真。但其逆命題、否命題不一定為真。命題真假性判斷結論:反證法的一般步驟:假設命題的結論不成立,即假 設結論的反面成立; 從這個假設出發(fā),經(jīng)過推理論證,得出矛盾; (3) 由矛盾判定假設不正確, 從而肯定命題的結論正確。 反設歸謬結論反證法充分必要條件 短語”對所有的”對任意一個”在邏輯中通常叫做全稱量詞,并用符號 “ ”表示.含有全稱量詞的命題,叫做全稱命題,常見的全稱量詞還有:“對所有的
3、”,”對任意一個”,”對一切”,”對每一個”,”任給”,”所有的”等. 短語”對所有的”對任意一個”在邏輯中通常叫做全稱量詞,并用符號 “ ”表示.含有全稱量詞的命題,叫做全稱命題.符號 全稱命題”對M中任意一個x有p(x)成立”可用符號簡記為讀作”對任意x屬于M,有p(x)成立”. 短語”存在一個”至少有一個”在邏輯上通常叫做存在量詞,并用符號” ”表示.含有存在量詞的命題,叫做特稱命題. 常見的存在量詞還有”有些”有一個”有的”對某個”等. 特稱命題”存在M中的一個x,使p(x)成立”可用符號簡記為讀做”存在一個x,使p(x)成立”. 從命題形式上看,這三個全稱命題的否定都變成了特稱命題. 一般地,對于含有一個量詞的全稱命題的否定,有下面的結論:全稱命題p:全稱命題的否定是特稱命題.從命題形式上看,這三個特稱命題的否定都變成了全稱命題.一般地,對于含有一個量詞的特稱命題的否定,有下面的結論:特稱命題它的否定從命題形式上看,這三個特稱命題的否定都變成了全稱命題.一般地,對于含有一個量詞的特稱命題的否定,有下面的結論:特稱命題特稱命題的否定是全稱命題.例2判斷命題:“
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 二零二五年度房屋置換與家居定制服務合同范本3篇
- 二零二五年度校園雕塑作品采購合同范本3篇
- 2025年度環(huán)境監(jiān)控系統(tǒng)工程合同2篇
- 海南職業(yè)技術學院《文獻檢索》2023-2024學年第一學期期末試卷
- 襄陽汽車課程設計招聘
- 海南師范大學《物流信息技術》2023-2024學年第一學期期末試卷
- 二零二五年度名校學區(qū)二手房買賣合同范本2篇
- 二零二五年度國際貿易實務:磋商與訂立合同實務操作與法律風險防范手冊9篇
- 二零二五年度海寧房產買賣糾紛調解及法律援助合同3篇
- 2025年度房地產項目銷售代理合同3篇
- 閱讀理解(專項訓練)-2024-2025學年湘少版英語六年級上冊
- 民用無人駕駛航空器產品標識要求
- 2024年醫(yī)院產科工作計劃例文(4篇)
- 2024-2025學年九年級英語上學期期末真題復習 專題09 單詞拼寫(安徽專用)
- 無創(chuàng)通氣基本模式
- 江西省贛州市尋烏縣2023-2024學年八年級上學期期末檢測數(shù)學試卷(含解析)
- 《臨床放射生物學》課件
- 腸造口還納術手術配合
- 2024年中考語文試題分類匯編:詩詞鑒賞(學生版)
- 科學計算語言Julia及MWORKS實踐 課件 3-MWORKS簡介
- 2024年10月自考04532財務會計專題試題及答案含解析
評論
0/150
提交評論