復(fù)習(xí)邏輯學(xué)其他邏輯

1、什么是邏輯學(xué)？邏輯學(xué)是研究思維（的邏輯）形式、思維基本規(guī)律以及一些簡單的邏輯方法的科學(xué)。（普通邏輯或傳統(tǒng)邏輯）邏輯學(xué)是研究推理形式的科學(xué)。（西方傳統(tǒng)邏輯）邏輯學(xué)是研究研究推理的有效形式的科學(xué)。（現(xiàn)代邏輯）邏輯學(xué)是研究推理和論證的科學(xué)。（西方傳統(tǒng)邏輯）邏輯學(xué)是研究論證的科學(xué)。（非形式邏輯)普通邏輯的研究對象對象邏輯形式思維的形式結(jié)構(gòu)邏輯規(guī)律同一律、矛盾律、排中律邏輯方法定義、劃分、概括、限制穆勒五法思維形態(tài)（思維形式）分類思維形式概念命題推理命題的分類命題非模態(tài)命題復(fù)合命題負命題聯(lián)言命題選言命題相容選言命題不相容選言命題假言命題充分條件假言命題必要條件假言命題充要條件假言命題簡單命題直言命題AE

2、IOae關(guān)系命題模態(tài)命題必然P可能P推理的分類（思維進程的方向）推理演繹推理歸納推理類比推理推理的分類（前提的數(shù)量）推理直接推理間接推理推理的分類（推出關(guān)系）推理必然性推理或然性推理必然性推理的分類必然性推理非模態(tài)命題推理復(fù)合命題推理負命題推理聯(lián)言推理選言推理相容選言推理不相容選言推理假言推理充分條件假言推理必要條件假言推理充要條件假言推理等值命題互推簡單命題推理直言命題推理直言直接推理對當(dāng)關(guān)系推理命題變形推理直言間接推理三段論完全歸納推理關(guān)系命題推理模態(tài)推理模態(tài)六角對當(dāng)關(guān)系推理或然性推理或然性推理枚舉歸納推理類比推理穆勒五法溯源推理概念的分類概念一根據(jù)外延的數(shù)量單獨概念普遍概念二根據(jù)是不是集

3、合體集合概念非集合概念三根據(jù)是否具有性質(zhì)正概念負概念概念間外延關(guān)系的分類概念間的外延關(guān)系相容關(guān)系全同關(guān)系真包含于關(guān)系真包含關(guān)系交叉關(guān)系不相容關(guān)系全異關(guān)系矛盾關(guān)系反對關(guān)系屬種關(guān)系常項與變項1.復(fù)合命題：常項：、變項：p、q、r、s2.簡單命題：常項：A、E、I、O、a、e、R變項：S、P、M、a、b3.模態(tài)命題：常項：L、M、 變項：P復(fù)合命題的邏輯特性肢命題的真假決定復(fù)合和命題的真假1. p 肢真負假，肢假負真。2.pq 一假即假，全真才真。3.pq 一真即真，全假才假。4.pq 有且只有一真才真，其余為假。5.p q 前真后假為假，其余為真。6.pq 前假后真為假，其余為真。7.pq 同真同

4、假為真，其余為假。常用的有效式1.p,q pq pq p規(guī)則：前提中肯定若干個命題，結(jié)論中可以肯定它們的合?。磺疤嶂锌隙ê先。Y(jié)論中肯定其任意聯(lián)言肢。2.pq, p q規(guī)則：否定一部分肢，可以肯定其余肢； 肯定一部分肢，不能否定其余肢。p pq 常用的有效式3.pq, p q pq,p q規(guī)則：否定一部分肢，則可肯定其余肢； 肯定一部分肢，則可否定其余的肢。4.pq,p q pq, q p規(guī)則：肯前則可肯后，否后則可否前。5.pq, p q pq,q p規(guī)則：否前則可否后，肯后則可肯前。常用的有效式6.pq,p q pq, p q pq,q p pq, q p規(guī)則：肯前則可肯后，否前則可否后；

5、 肯后則可肯前，否后則可否前。7.pq,rq,pr q pq,rs,pr qs pq,pr, qr p pq,rs, qs pr常用的有效式8.pq,qr pr pq,qr rp9.pqq p pq,pq p常用的等值式規(guī)則：若AB，則A B。 若AB，則A B。 若AB，則AB，或AB。1.pp2. (pq) pq pq (pq) (pq) pq pq (pq)3. (pq) (pq) (pq) (pq) (pq) (pq)常用的等值式4.pq qp pq qp5. (pq) pq (pq) pq (pq) pq (pq) pq (pq) (pq) (pq) (pq) (pq) (pq) (

6、pq) (pq) (pq) (pq)6.(pq) (qp) (qp)對當(dāng)關(guān)系性質(zhì)1.矛盾關(guān)系： 不可同真，不可同假。2.反對關(guān)系： 不可同真，可以同假。3.下反對關(guān)系：不可同假，可以同真。4.差等關(guān)系： 上真下真，下假上假。命題變形推理換質(zhì)法：兩變兩不變1.變： 變質(zhì)、謂項變成矛盾概念；2.不變：主、謂項位置不變、量不變。換位法：一變一不變1.變： 主、謂項位置變。2.不變：質(zhì)不變。3.前提中不周延的項在結(jié)論中不得周延。三段論1.三段論規(guī)則2.三段論的格式3.周延性。4.三段論有效性的檢驗5.省略三段論的檢驗6.三段論證明三段論證明例題：一組三段論包括兩個有效三段論，它們的大前提和結(jié)論都不同真

7、不同假。請列出所有符合上述條件的有效三段論形式（以組為單位，兩個三段論為一組），并寫出推導(dǎo)過程。證明：1.結(jié)論與大前提都是矛盾關(guān)系。結(jié)論分別為AO或EI。2.結(jié)論為AO，大前提也為AO。結(jié)論為A的是第一格AAA式。結(jié)論為O的，大前提一定是MOP，小前提是MAS，第一格AAA式與第三格OAO 。三段論證明3.結(jié)論是EI，大前提也分別為EI結(jié)論為I的，其大前提為MIP或PIM,小前提為MAS。 結(jié)論為E的，大前提為MEP或PEM，小前提為SAM。符合條件的有：第一格EAE式與第三格IAI式；第一格EAE式與與第四格IAI式；第二格EAE式與第三格IAI式；第二格EAE式與第四格IAI式。共五組。

8、關(guān)系命題及其推理1.關(guān)系命題的構(gòu)成2.關(guān)系的性質(zhì)R關(guān)系的對稱性關(guān)系的傳遞性對稱關(guān)系傳遞關(guān)系非對稱關(guān)系非傳遞關(guān)系反對稱關(guān)系反傳遞關(guān)系關(guān)系推理關(guān)系推理對稱關(guān)系推理傳遞關(guān)系推理反對稱關(guān)系推理反傳遞關(guān)系推理歸納推理1.歸納推理的種類2.形式3.完全歸納推理與枚舉歸納推理的異同模態(tài)命題模態(tài)命題必然模態(tài)命題LpLp可能模態(tài)命題MpMp模態(tài)推理模態(tài)六角對當(dāng)關(guān)系36個有效式邏輯基本規(guī)律同一律、矛盾律、排中律的內(nèi)容和要求違反同一律、矛盾律、排中律的錯誤和特征矛盾律與排中律作用范圍的異同習(xí)題1.若 SEP取值為真, 則P I S取值為_，SAP取值為_。2.若“pq”真且p與q不同真不同假，則“pq”取值為_，“

9、pq”取值為_。3.在下列關(guān)系中，具有反對稱性的關(guān)系是（ ） a、真包含于關(guān)系 b、欺騙關(guān)系 c、同學(xué)關(guān)系 d、等值關(guān)系習(xí)題4. 若SEP與SAP都假，則S與P之間的外延關(guān)系是（ ） a、全同 b、 真包含 c、真包含于 d、全異5.下列推理形式中無效的是（ ）（ ）。 pq (pq)(pq) p q q SAMPAM SIP pqr , r pq MP LP6下列推理形式中有效的是（ ）（ ）。 pqr，pq MOPSEMSOP PMP pq，rs，qspr SEPPOS習(xí)題7.下列命題形式中只有一真。用歐拉圖表示S與P的關(guān)系，并寫出推導(dǎo)過程。 只有M不都是S，才凡M都不是P 并非有M是P且

10、有M不是S。 只要凡P不是M，就沒有一個S是M解題： MOS MEP pq （MIPMOS） （qp）(pq) PEM SEM qr習(xí)題8.列出下列A、B、C三個判斷形式的真值表，并據(jù)表回答：當(dāng)A、B、C二真一假時，問：能斷言哪一句為真（或為假），不能斷言哪一句為真（或為假）。A：或者小李做隊長，或者小周做隊長，但不能二人都做隊長。B：要么小李做隊長，要么小周不做隊長。C：小李和小周至少一人不做隊長。答案：可以斷言C為真，不能斷言A、B的真假。綜合題警方根據(jù)下列事實，能否確定甲、乙、丙、丁四名嫌疑人中，誰到過案發(fā)現(xiàn)場，誰未到過案發(fā)現(xiàn)場。寫出推導(dǎo)過程。只有甲未到現(xiàn)場，乙才未到現(xiàn)場。只要乙到過現(xiàn)場，丙就未到現(xiàn)場或者甲未到現(xiàn)場。