邏輯判斷推理中常用的邏輯公式(共6頁)_第1頁
邏輯判斷推理中常用的邏輯公式(共6頁)_第2頁
邏輯判斷推理中常用的邏輯公式(共6頁)_第3頁
邏輯判斷推理中常用的邏輯公式(共6頁)_第4頁
邏輯判斷推理中常用的邏輯公式(共6頁)_第5頁
已閱讀5頁,還剩1頁未讀 繼續免費閱讀

下載本文檔

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

文檔簡介

1、精選優質文檔-傾情為你奉上邏輯命題與推理必然性推理(演繹推理):對當關系推理、三段論、復合命題推理、關系推理和模態推理可能性推理:歸納推理(枚舉歸納、科學歸納)、類比推理命題直言命題的種類:(AEIOae)全稱肯定命題:所有S是P(SAP)全稱否定命題:所有S不是P(SEP)特稱肯定命題:有的S是P(SIP)特稱否定命題:有的S不是P(SOP)單稱肯定命題:某個S是P(SaP)單稱否定命題:某個S不是P(SeP) 直言命題間的真假對當關系:矛盾關系、(上)反對關系、(下)反對關系、從屬關系矛盾關系:具有矛盾關系的兩個命題之間不能同真同假。主要有三組:SAP與SOP之間。“所有同學考試都幾個了”

2、與“有些同學考試不及格”SEP與SIP之間。“所有同學考試不及格”與“有些同學考試及格”SaP與SeP之間。“張三考試及格”與“張三考試不及格”上反對關系:具有上反對關系的兩個命題不能同真(必有一假),但是可以同假。即要么一個是假的,要么都是假的。存在于SAP與SEP、SAP與SeP、SEP與SaP之間。下反對關系:具有下反對關系的兩個命題不能同假(必有一真),但是可以同真。即要么一個是真的,要么兩個都是真的。存在于SIP與SOP、SeP與SIP、SaP與SOP之間。從屬關系(可推出關系):存在于SAP與SIP、SEP與SOP、SAP與SaP、SEP與SeP、SaP與SIP、SeP與SOP六種

3、直言命題之間存在的對當關系可以用一個六角圖形來表示,“邏輯方陣圖” SAP SEPSaP SePSIP SOP直言命題的真假包含關系全同關系、真包含于關系、真包含關系、交叉關系、全異關系 合同關系真包含于關系真包含關系交叉關系全異關系SAP真真假假假SEP假假假真真SIP真真真真假SOP假假真真真復合命題:負命題、聯言命題、選言命題、假言命題負命題的一般公式:并非P聯言命題公式:p并且q “并且、和、既又、不但而且、雖然但是”選言命題:相容的選言命題、不相容的選言命題相容的選言命題公式:p或者q“或、或者或者、也許也許、可能可能”【一個相容的選言命題是真的,只有一個選言支是真的即可。只有當全部

4、選言支都假時,相容的選言命題才是假的】不相容選言命題公式:要么p要么q“要么要么、不是就是、或者或者二者必居其一、或者或者二者不可兼得”【一個不相容的選言命題是真的,有且只有一個選言支是真的。當選言支全真或全假時,此命題為假】假言命題:充分條件假言命題、必要條件假言命題、充要條件假言命題充分條件假言命題公式:如果p,那么q“如果就、有就有、倘若就、哪里有哪里有、一旦就、假若、只要就”【有前件必然有后件。如果有前件卻沒有后件,這個充分條件假言命題就是假的。因此,對于一個充分條件的假言命題來說,只有當其前件真而后件假時,命題才假。】必要條件假言命題公式:只有p,才q“沒有就沒有、不不、除非不、除非

5、才”【沒有前件必然沒有后件。如果沒有前件也有后件,這個必要假言命題為假。對于一個必要條件的假言命題來說,只有當其前件假而后件真時,命題才假。】充要條件假言命題公式:當且僅當p,才q【有前件必然有后件,沒有前件必然沒有后件。充要條件假言命題在前件與后件等值即前件真并且后件真,或者前件假并且后件假時,命題為真,在前件與后件不等值即前真后假,或前假后真時,命題為假】充分條件與必要條件之間可以相互轉化:如果p,那么q只有q,才p只有p,才q,如果q,那么p模態命題:反映事物存在或發展的必然性或可能性的命題。模態命題包含“必然”、“可能”等模態詞。必然肯定命題:必然P必然否定命題:必然非P可能肯定命題:

6、可能p可能否定命題:可能非P四者之間的關系如下:模態方陣 必然P 必然非P 可能P 可能非P推理1、直言命題的變形推理:換質推理、換位推理換質推理也就是改變謂項。“是”或者“不是”除了改變聯項外,同時還需要把結論中的謂項變為前提謂項的矛盾概念。“所有S是P”可以換質為“所有S不是非P”“所有S不是P”可以換質為“所有S是非P”“有些S是P”可以換質為“有些S不是非P”“有些S不是P”可以換質為“有些S是非P”換位推理就是改變前提中主項與謂項的位置。除了交換主項與謂項的位置外,還需要注意的是在前提中不周延的詞項在結論中也不能周延。“所有S是P”換位為“有些P是S”“所有S不是P”換位為“所有P不

7、是S”“有些S是P”換位為“有些P是S”注意:“有些S不是P”不能換位為“有些P不是S”2、聯言推理:分解式與組合式分解式就是由前提中一個聯言命題為真,推出其任一支命題為真的聯言命題。組合式就是由前提中一些支命題為真推出這些支命題所組成的聯言命題為真的聯言推理。3、選言推理:相容的選言推理與不相容的選言推理相容的選言推理規則:(只有一種有效的推理形式,即否定肯定式)否定一部分選言支,就要肯定另一部分選言支;肯定一部分選言支,不能因此而否定另一部分選言支;不相容的選言推理規則:(否定肯定式、肯定否定式)否定除了一個選言支以外的其余選言支,就要肯定那個沒有被否定的選言支;肯定一個選言支,就要否定其

8、余的選言支;4、假言推理充分條件的假言推理規則:(有效推理:肯定前件式,否定后件式)肯定前件就要肯定后件,否定后件就要否定前件;否定前件不能否定后件,肯定后件不能肯定前件;必要條件的假言推理規則:(有效推理:否定前件式;肯定后件式)否定前件就要否定后件,肯定后件就要肯定前件;肯定前件不能肯定后件,否定后件不能否定前件;充要條件的假言推理規則:肯定前件就要肯定后件,否定后件就要否定前件;否定前件就要否定后件,肯定后件就要肯定前件;假言連鎖推理:要求:前提中的第一個假言命題的后件必須與第二個假言命題的前件相同。充分條件的假言連鎖推理:如果p那么q如果q,那么r所以,如果p,那么r必要條件的假言連鎖

9、推理:只有p,才q只有q,才r所以,只有p才r5、模態推理 “必然P”與“并非可能非P”可以互相推出“必然非P”與“并非可能P”可以相互推出“可能P”與“并非必然非P”可以相互推出“可能非P”與“并非必然P”可以相互推出一個模態命題的負命題等值于與該模態命題具有矛盾關系的命題。并非必然P可能非P并非必然非P可能P并非可能P必然非P并非可能非P必然P“必然P”可以推出“可能P”“必然非P”可以推出“可能非P”“并非可能P”可以推出“并非必然P”“并非可能非P”可以推出“并非必然非P”可能性推理類型:削弱型:最能削弱型、最不能削弱型加強型前提與預設型解釋型:最能解釋、最不能解釋評價型結論性詞項的周延性主項的周延性是由量項來決定的,量項是全稱的則主項周延,量項是特稱的則主項不周延;謂項的周延性是由聯項來決定的,聯項是肯定的則謂項不周延,聯項是否定的,則謂項周延。六種直言命題之間存在的對當關系可以用一個六角圖形來表示,“邏輯方陣圖” SAP SEPSaP SePSIP SOP直言命題的真假包含關系 (全同關系、真包含于關系、真包含關系、交叉關系、全異關系)合同關系真包含于關系真包含關系交叉關系全異關系SAP真真假假假SEP假假假真真SIP真真真真假SOP假假真真

溫馨提示

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

評論

0/150

提交評論