本章應重點掌握各種復合判斷的邏輯形式_第1頁
本章應重點掌握各種復合判斷的邏輯形式_第2頁
本章應重點掌握各種復合判斷的邏輯形式_第3頁
本章應重點掌握各種復合判斷的邏輯形式_第4頁
本章應重點掌握各種復合判斷的邏輯形式_第5頁
已閱讀5頁,還剩10頁未讀 繼續免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、第四章第四章 判斷(二)判斷(二) 本章應重點掌握各種復合判斷的邏輯形式;各種復合判斷的邏輯特征及其真值表;各種負判斷的等值判斷。 通過學習,具備以下能力:能夠根據各種判斷的邏輯含義,把復合判斷的語言形式轉化為標準邏輯形式;熟練地掌握各種復合判斷的真值表,并運用真值表確定復合判斷的真假值以及復合判斷之間的等值、矛盾、反對、蘊涵等關系;掌握各種復合判斷的等值判斷,并能夠進行各種判斷之間的等值轉換。第一節聯 言 判 斷 一、 什么是聯言判斷 聯言判斷就是斷定幾種事物情況同時存在的判斷。 聯言判斷的邏輯形式是: p并且q 其中,p、q被稱為聯言肢,“并且”是聯結詞,也可寫作: pq 二、 聯言判斷真

2、假的確定 一個聯言判斷的真假是由其聯言肢的真假來確定的。pqp pq q真真真真假假假真假假假假第二節選 言 判 斷 一、什么是選言判斷 選言判斷就是斷定幾種可能事物情況至少有一種存在的判斷 二、選言判斷的種類 因為選言肢之間有的能具有并存關系,有的不能具有并存關系,選言判斷也就相應的區分為兩種類型:相容選言判斷和不相容選言判斷。 1相容選言判斷相容選言判斷 相容的選言判斷就是斷定幾個選言肢中至少有一個為真并且可以同真的選言判斷。或者說,相容的選言判斷就是包含能具有并存關系的選言肢的選言判斷。 相容的選言判斷的邏輯特征就是在于其選言肢之間的關系不是相互排斥,是彼此相容,可以同真。 相容選言判斷

3、的邏輯形式是: P或者q 其中,p、q稱作選言肢,“或者”是聯結詞。 在現代邏輯中,“或者”用符號“”(讀作“析取”)表示。這樣,上述形式也可寫作: pq 相容選言判斷的聯結詞的語言表達方式還有:“也許也許”、“可能.可能”等等。 2不相容選言判斷不相容選言判斷 不相容選言判斷就是斷定幾個選言肢中有并且只有一個為真的選言判斷?;蛘哒f,不相容選言判斷,就是包含不具有并存關系的選言肢的選言判斷。 不相容選言判斷的邏輯特征,就在于其選言肢之間的關系相互排斥,彼此不相容,不可同真。 不相容選言判斷的邏輯形式是: 要么p,要么q 其中p、q稱作選言肢,“要么要么”是聯結詞。 在現代邏輯中,“要么要么”用

4、符號(讀作“不相容析取”)表示。這樣,上述形式也可寫作: pq 不相容選言判斷的邏輯聯結詞的語言表達方式,除“要么要么”之外,還有:“不是就是” ,“或或二者不可兼得”,等等。第三節假 言 判 斷 一、什么是假言判斷 假言判斷就是斷定某一事物情況的存在(或不存在)是另一個事物情況存在(或不存在)的條件的判斷。假言判斷又叫條件判斷。 普通邏輯主要涉及充分條件,必要條件和充分必要條件這三種條件關系。 二、假言判斷的種類 由于有三種條件關系,反映這些條件關系的假言判斷也就有三種類型: 1 充分條件假言判斷充分條件假言判斷 斷定事物情況之間具有充分條件關系的假言判斷就是充分條件假言判斷。如: 充分條件

5、假言判斷的邏輯形式是: 如果p,那么q 其中,p、q分別稱作“前件”和“后件”,“如果那么”是聯結詞。 在現代邏輯中,“如果那么”用符號 “”(讀作“蘊涵”)表示。這樣上述形式也可寫作: p q 2必要條件假言判斷必要條件假言判斷 斷定事物情況之間具有必要條件關系的假言判斷就是必要條件假言判斷。 必要條件假言判斷的邏輯形式是: 只有p,才q 其中p、q分別稱作“前件”和“后件”,“只有才”是聯結詞。 在現代邏輯中,“只有才”用符號“”(讀作“逆蘊涵”)表示。這樣,上述形式也可寫作: pq 3充分必要條件假言判斷充分必要條件假言判斷 斷定事物情況之間具有充分必要條件關系的假言判斷就是充分必要條件

6、假言判斷。 充分必要條件假言判斷的邏輯形式是: p當且僅當q 其中,p、q分別稱作“前件”和“后件”,“當且僅當”是聯結詞。 在現代邏輯中“當且僅當”用符號“ ”(讀作“等值”)來表示。這樣,上述形式也可以寫作: p q第四節 負判斷 一、什么是負判斷一、什么是負判斷 負判斷就是否定某個判斷的判斷。負判斷是一種復合判斷,它與在簡單判斷中講到的性質判斷的否定判斷是不同的。 負判斷的邏輯形式是: 并非p 其中,p是支判斷,“并非”是聯結詞。 在現代邏輯中,“并非”用符號“”(讀作“非”)表示。這樣,上述形式也可寫作: p 二、二、 簡單判斷的負判斷簡單判斷的負判斷 否定一個簡單判斷就構成該簡單判斷的負判斷。前面已經學過六種性質判斷,它們的負判斷分別是: (1) 并非所有S是P。 (2) 并非所有S不是P。 (3) 并非有些S是P。 (4) 并非有些S不是P。 (5) 并非某個S是P。 (6) 并非某個S不是P。 三、三、 復合判斷的負判斷復合判斷的負判斷 否定一個復合判斷就構成該復合判斷的負判斷。前面已經學過七種復合判斷,它們的負判斷分

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論