形式邏輯復(fù)習(xí)筆記

1、形式邏輯復(fù)習(xí)筆記第一章：引論1、邏輯包括兩大類：形式邏輯和辨證邏輯，普通邏輯即傳統(tǒng)的形式邏輯。2、普通邏輯是研究思維的邏輯形式及其基本規(guī)律和簡(jiǎn)單邏輯方法的科學(xué)。3、思維分為三大類：抽象（邏輯）思維，形象（直感）思維，靈感（頓悟）思維，一般思維指抽象思維。4、感覺是事物作用于人的感覺器官時(shí)在人腦中產(chǎn)生的關(guān)于事物的個(gè)別屬性的反映。5、知覺是事物在人腦中的整體性的直接反映。6、表象是在感覺和知覺的基礎(chǔ)上形成的具有一定概括性的感性形象。7、概念是反映事物本質(zhì)屬性或特有屬性的思維形式，是思維機(jī)構(gòu)的基本組成要素。8、判斷是對(duì)思維對(duì)象有所斷定的思維形式。它是由概念組成的，同時(shí)，它又為推理提供了前提和結(jié)論。9

2、、思維有兩個(gè)基本特征：概括性和間接性。10、思維的邏輯形式指思維內(nèi)容各部分的聯(lián)系方式或形式結(jié)構(gòu)，也叫思維形式的結(jié)構(gòu)。11、普通邏輯的研究推理，正是要研究從不同的推理內(nèi)容中抽取出來的各種共同的邏輯形式。12、思維的基本規(guī)律有四條：同一律、矛盾律、排中律、充足理由律。13、同一律要求：一個(gè)思想是什么，它就是什么，不能把不同的思想混為一談。14、矛盾律要求：在互相否定的兩個(gè)思想中，必須承認(rèn)至少一個(gè)是假的，而不能承認(rèn)它們都是真的。15、排中律要求：在互相矛盾的兩個(gè)思想中，必須承認(rèn)至少一個(gè)是真的，即二者必居其一，排除第三種可能性。16、充足理由律要求：斷定任何一個(gè)思想為真，都必須拿出充分的理由。17、普

3、通邏輯是撇開思維的具體內(nèi)容來研究思維的邏輯形式及其基本規(guī)律的。18、普通邏輯的工具性表現(xiàn)在：它本身不能給人們直接提供各種具體的科學(xué)知識(shí)，但是它能夠?yàn)槿藗冞M(jìn)行正確思維，獲取新知識(shí)，表述論證思想，提供必要的邏輯手段和方法。19、學(xué)習(xí)普通邏輯的意義：1、有助于人們正確認(rèn)識(shí)事物，獲取新知識(shí)，2、有助于人們準(zhǔn)確地表達(dá)思想，嚴(yán)格論證思想，3、有助于人們識(shí)別、駁斥謬誤與詭辯，4、有助于人們學(xué)習(xí)和掌握其他各門科學(xué)知識(shí)，5、有助于提高人們的辦事效率。20、邏輯學(xué)有兩千多年歷史，發(fā)源地為古代中國、印度、希臘。古希臘是邏輯學(xué)的主要誕生地。17世紀(jì)英國哲學(xué)家弗蘭西斯.培根提出科學(xué)歸納法，奠定了歸納邏輯的基礎(chǔ)，提出三表

4、法（存在和具有表、差異表、程度表），培根后，英國哲學(xué)家約翰.穆勒繼承并發(fā)展了培根的歸納邏輯，形成五種歸納法（契合法、差異法、契合差異并用法、共變法、剩余法）史稱穆勒五法。17世紀(jì)末，德國哲學(xué)家萊布尼茲提出用數(shù)學(xué)方法處理演繹邏輯、把推理變成邏輯演算的光輝思想，成為數(shù)學(xué)邏輯（即現(xiàn)代形式邏輯）的奠定人。第二章：概念1、概念史反映對(duì)象特有屬性或本質(zhì)屬性的思維形式。2、概念的形成過程是對(duì)感性材料進(jìn)行加工的過程，一般是通過比較、分析、綜合、抽象、概括等邏輯方法完成的，最重要的是抽象。3、概念的作用：是思維的起點(diǎn)，是人們進(jìn)行判斷和推理的基本要素，是思維形式的最基本單位，由概念組成判斷，由判斷組成推理，沒有概

5、念，就無法進(jìn)行思維活動(dòng)。借助概念，人們可以從本質(zhì)上把同類對(duì)象聯(lián)系起來，把不同類對(duì)象區(qū)分開來。4、概念作為思維的最基本單位，它的語言表達(dá)形式是語詞，語詞是概念的語言形式，概念是語詞的意思內(nèi)容。5、概念與語詞的區(qū)別：1、概念是思維形式，語詞是語言形式，概念是對(duì)客觀事物的反映，而語詞并不是事物的反映形式，只用來表達(dá)概念，2、任何概念都必須借助于語詞來表達(dá)，但不是所有語詞都能表達(dá)概念，3、同一概念可以用不同的語詞來表達(dá)，4、同一語詞在不的語境中可以表達(dá)不同的概念。6、任何反映對(duì)象及其特有屬性或本質(zhì)屬性的概念都有兩個(gè)邏輯特征：內(nèi)涵和外延。7、概念的內(nèi)涵：是反映在概念中的對(duì)象的特有屬性或本質(zhì)屬性，通常也叫

6、概念的含義。8、概念的外延：指具有概念所反映的特有屬性或本質(zhì)屬性的對(duì)象，通常稱為概念的適用對(duì)象。9、概念內(nèi)涵外延的靈活性指在不同的條件下，隨著客觀事物的發(fā)展和人們認(rèn)識(shí)的深化，概念的含義和適用對(duì)象是可以變化的。10、任何概念都是確定性與靈活性的統(tǒng)一。11、概念的種類：1、單獨(dú)概念和普遍概念，2、集合概念和非集合概念，3、正概念和負(fù)概念。12、單獨(dú)概念：是反映獨(dú)一無二的對(duì)象的概念。13、普遍概念：是反映一個(gè)以上對(duì)象的概念。14、集合概念：反映集合體的概念。15、非集合概念：反映非集合體的概念。16、正概念：反映對(duì)象具有某種屬性的概念。17、負(fù)概念：反映對(duì)象不具有某中屬性的概念。18、概念間的關(guān)系：

7、1、同一關(guān)系，2、真包含關(guān)系，3、真包含于關(guān)系，4、交叉關(guān)系，5、全異關(guān)系（可分為矛盾關(guān)系和反對(duì)關(guān)系）。19、概念的內(nèi)涵和外延的反變關(guān)系：外延越大、內(nèi)涵越小，外延越小、內(nèi)涵越多，內(nèi)涵越少、外延越大，內(nèi)涵越多、外延越小。這種反變關(guān)系只適用于種屬關(guān)系（真包含于關(guān)系）和屬種關(guān)系（真包含關(guān)系）。20、概念的限制：是通過增加概念的內(nèi)涵以縮小概念的外延來明確概念的一種邏輯方法，限制是由屬概念過渡到種概念。限制概念適用于把一般性概念具體化，使概念更加明確，限制的極限是單獨(dú)概念。21、概念的概括：是通過減少概念的內(nèi)涵以擴(kuò)大概念的外延來明確概念的一種邏輯方法。22、定義：是揭示概念內(nèi)涵的邏輯方法，特點(diǎn)是用簡(jiǎn)單的

8、語句揭示概念所反映的對(duì)象的特有屬性或本質(zhì)屬性。定義由被定義項(xiàng)、定義項(xiàng)和定義聯(lián)項(xiàng)三部分組成。23、定義的方法：1、屬加種差定義，2、發(fā)生定義，3、關(guān)系定義，4、功用定義。24、屬加種差定義：把某一概念放在一個(gè)更廣泛的概念里，然后找出被定義項(xiàng)與其他同級(jí)種概念間的差別“種差”，最后把鄰近的屬概念與種差概念加在一起，組成定義。公式：被定義項(xiàng)=種差+鄰近屬概念。25、發(fā)生定義：通過揭示事物產(chǎn)生或形成過程來給概念下定義的方法。26、關(guān)系定義：通過揭示被定義對(duì)象與其他事物的關(guān)系給概念下定義的方法。27、功用定義：通過揭示事物的功用給概念下定義的方法。28、語詞定義：只對(duì)語詞的意義給以解釋，而不一定是對(duì)事物本

9、質(zhì)屬性的揭示。分為：規(guī)定的語詞定義和說明的語詞定義。29、規(guī)定的語詞定義：當(dāng)提出一個(gè)新的語詞或在某種特殊意義上使用的某些語詞時(shí)，我們就應(yīng)當(dāng)對(duì)它作出規(guī)定性的解釋。30、說明性語詞定義：當(dāng)別人不了解一個(gè)語詞的意義時(shí)，我們就要對(duì)已有確定含義的語詞給以說明。31、定義的規(guī)則：1、定義項(xiàng)的外延和被定義項(xiàng)的外延應(yīng)是全同的，2、定義項(xiàng)中不能直接或間接的包括被定義項(xiàng)，3、定義項(xiàng)中不得包括含混的概念或語詞，不得用比喻。32、定義的作用：1、通過定義，能夠把人們對(duì)事物的認(rèn)識(shí)總結(jié)并鞏固下來，2、可以明確概念，要檢查所使用的概念是否明確也要通過定義，3、要把一個(gè)概念傳達(dá)給原來不了解這個(gè)概念的人，也需要應(yīng)用定義。33、

10、劃分：是通過把一個(gè)概念所反映的對(duì)象分為若干小類，來揭示這個(gè)概念的外延的邏輯方法。劃分由兩部分組成，一部分是劃分的母項(xiàng)，另一部分是劃分的子項(xiàng)，把母項(xiàng)分為若干子項(xiàng)的根據(jù)，叫劃分標(biāo)準(zhǔn)。34、劃分的方法：一次劃分、連續(xù)劃分。35、一次劃分：是根據(jù)劃分標(biāo)準(zhǔn)對(duì)母項(xiàng)一次劃分完畢。36、連續(xù)劃分：是把母項(xiàng)劃分為若干子項(xiàng)后，再將子項(xiàng)作為母項(xiàng)繼續(xù)劃分。37、二分法：以對(duì)象有無某種屬性作為劃分標(biāo)準(zhǔn)，將一個(gè)概念劃分為一個(gè)正概念和一個(gè)負(fù)概念，也可一次劃分和聯(lián)系劃分。38、劃分的規(guī)則：1、劃分后的各子項(xiàng)外延之和必須與母項(xiàng)的外延相等，2、每次劃分必須按照同一標(biāo)準(zhǔn)進(jìn)行，3、劃分的各子項(xiàng)應(yīng)當(dāng)互不相容。39、劃分的作用：1、通過

11、劃分，可以擴(kuò)展、加深對(duì)事物的認(rèn)識(shí)，2、可以明確概念的外延，使人們了解一個(gè)概念能適用于哪些對(duì)象。40、分類：是劃分的特殊形式，它是根據(jù)對(duì)象的本質(zhì)屬性或特征進(jìn)行的劃分，具有較大的穩(wěn)定性。分為自然分類和輔助分類。41、自然分類：根據(jù)對(duì)象的本質(zhì)屬性的把對(duì)象排列成各類的分類。42、輔助分類：根據(jù)對(duì)象某種顯著特征把對(duì)象排列成各個(gè)類，目的是為了從被分類的其他對(duì)象中易于找出某個(gè)對(duì)象。43、列舉：是劃分的一種特殊形式，它與劃分的區(qū)別是，在一般的情況下，列舉并不要求揭示概念的全部外延，是揭示概念一部分外延的邏輯方法。必須遵守兩條規(guī)則，每一次列舉必須按照同一標(biāo)準(zhǔn)進(jìn)行，列舉的各子項(xiàng)應(yīng)當(dāng)互不相容。第三章：判斷（一）1、

12、判斷是對(duì)思維對(duì)象有所斷定的思維形式。2、判斷的基本特征：1、判斷都有所肯定或有所否定，2、判斷都有真假。3、判斷和語句的聯(lián)系：語句就是判斷的直接現(xiàn)實(shí)，判斷是語句的思想內(nèi)容，語句是判斷的聯(lián)系形式，判斷只有通過語句才能表達(dá)。4、判斷和語句的區(qū)別：1、判斷作為思維形式，是精神形態(tài)的東西，語句作為語言形式，是物質(zhì)形態(tài)的東西，2、任何判斷都要用語句表達(dá)，但并非任何語句都表達(dá)判斷，3、同一判斷可以用不同語句表達(dá)，4、同一語句可以表達(dá)不同判斷。5、表達(dá)語句的判斷，稱為命題，普通邏輯不研究具體命題，而主要研究命題形式。6、S、P等稱為詞項(xiàng)變項(xiàng)，可用具體的次項(xiàng)（概念）代入，p、q等稱為命題變項(xiàng)，可用具體的命題（

13、判斷）代入，詞項(xiàng)變項(xiàng)和命題變項(xiàng)，統(tǒng)稱邏輯變項(xiàng)。7、給出一個(gè)命題，用邏輯變項(xiàng)取代其中的具體詞項(xiàng)或命題，就得出該命題的命題形式，這就是命題形式的抽象化，給出一個(gè)命題，用具體詞項(xiàng)或具體命題分別取代其中的全部邏輯變項(xiàng)，就得到一個(gè)命題，這就是命題形式的具體化，用具體的詞項(xiàng)或具體的命題分別取代這一命題形式中的全部邏輯變項(xiàng)，稱作該命題形式的一個(gè)解釋。8、如果一個(gè)命題形式在任一解釋下都得到真命題，則成永真式，如一個(gè)命題形式在任一解釋下都得到假命題，則稱為矛盾式，如一個(gè)命題形式至少有一個(gè)解釋使它得到真命題，則成為可真式。9、判斷分為簡(jiǎn)單判斷和復(fù)合判斷。簡(jiǎn)單判斷就是自身中不含有其他判斷的判斷，簡(jiǎn)單判斷的命題形式中

14、，邏輯變項(xiàng)是詞項(xiàng)，復(fù)合判斷就是自身中包含有其他判斷的判斷，復(fù)合判斷的命題形式中，邏輯變項(xiàng)是命題。10、簡(jiǎn)單判斷又分為性質(zhì)判斷和關(guān)系判斷，復(fù)合判斷又分為聯(lián)言判斷、選言判斷、假言判斷、負(fù)判斷，此外，依據(jù)判斷中是否出現(xiàn)“必然”、“可能”這兩個(gè)模態(tài)詞，判斷又可分為模態(tài)判斷和非模態(tài)判斷。11、性質(zhì)判斷就是斷定對(duì)象具有或不具有某種性質(zhì)的判斷。傳統(tǒng)邏輯稱性質(zhì)判斷為直言判斷。12、性質(zhì)判斷由主項(xiàng)、謂項(xiàng)、聯(lián)項(xiàng)和量項(xiàng)四部分組成，主項(xiàng)表示所斷定的對(duì)象，謂項(xiàng)表示所斷定的性質(zhì)，聯(lián)項(xiàng)表示性質(zhì)判斷的斷定自身，即肯定或否定，聯(lián)項(xiàng)分兩種，肯定聯(lián)項(xiàng)和否定聯(lián)項(xiàng)，量項(xiàng)表示主項(xiàng)被斷定的數(shù)量或范圍，量項(xiàng)也分為兩種，全稱量項(xiàng)和特稱量項(xiàng)，全

15、稱量項(xiàng)用“所有的”表示，特稱量項(xiàng)用“有的（或有些）”表示。性質(zhì)判斷的命題形式中，主項(xiàng)和謂項(xiàng)分別用詞項(xiàng)變項(xiàng)S和P表示。量項(xiàng)和聯(lián)項(xiàng)仍用自然語言表示。13、性質(zhì)判斷按性質(zhì)劃分為：肯定判斷和否定判斷，肯定判斷是斷定對(duì)象具有某性質(zhì)的判斷，否定判斷是斷定對(duì)象不具有某種性質(zhì)的判斷，否定判斷的聯(lián)項(xiàng)為否定聯(lián)項(xiàng)，判別一個(gè)判斷是肯定判斷或否定判斷，標(biāo)準(zhǔn)只有一個(gè)，就是看聯(lián)項(xiàng)。14、性質(zhì)判斷按量劃分，分為單稱判斷、全稱判斷和特稱判斷，單稱判斷是斷定單個(gè)對(duì)象具有或不具有某種性質(zhì)的判斷，單稱判斷的主項(xiàng)是一個(gè)單獨(dú)概念，單稱判斷一般不出現(xiàn)量項(xiàng)，全稱判斷是斷定主項(xiàng)的全體都具有或不具有某種性質(zhì)的判斷，全稱判斷的主項(xiàng)前面帶有全稱量項(xiàng)

16、，特稱判斷是斷定主項(xiàng)至少有一個(gè)具有或不具有某種性質(zhì)的判斷，特稱判斷的主項(xiàng)全面帶有特稱量項(xiàng)。15、性質(zhì)判斷綜合可分為四類：1、全稱肯定判斷，標(biāo)準(zhǔn)形式為：所有的S都是P,簡(jiǎn)記為SAP,簡(jiǎn)稱A判斷，2、全稱否定判斷，標(biāo)準(zhǔn)形式為：所有S都不是P，簡(jiǎn)記為SEP，簡(jiǎn)稱E判斷，3、特稱肯定判斷，標(biāo)準(zhǔn)形式為：有的S是P,簡(jiǎn)記為SIP，簡(jiǎn)稱I判斷，4、特稱否定判斷，標(biāo)準(zhǔn)形式為：有的S不是P,簡(jiǎn)記為：SOP，簡(jiǎn)稱0判斷。16、如果兩個(gè)性質(zhì)判斷的主、謂項(xiàng)均相同，則稱這兩個(gè)判斷是同一素材的判斷，同一素材的性質(zhì)判斷之間的真假關(guān)系，稱為對(duì)當(dāng)關(guān)系。17、具有SAP、SEP、SIP、SOP判斷形式的判斷之間，存在四種不同關(guān)系

17、：1、矛盾關(guān)系，分別存在于A和0，以及E和I之間，2、反對(duì)關(guān)系，存在于A和E之間，3、下反對(duì)關(guān)系，存在于I和0之間，4、差等關(guān)系，分別存在于A和I，以及E和0之間。18、主項(xiàng)S和謂項(xiàng)P外延間的關(guān)系，只有5種情況：（1）S和P全同，（2）S真包含于P，（3）S真包含P，（4）S和P交叉，（5）S和P全異。A、E、I、0四種類型的判斷在上述5種關(guān)系下，都有唯一確定的真假。19、對(duì)于對(duì)當(dāng)關(guān)系，有兩點(diǎn)注意：1、對(duì)當(dāng)關(guān)系的成立，是以判斷的主項(xiàng)非空（即不是空概念）為條件的，2、在對(duì)當(dāng)關(guān)系中，單稱判斷不能作全稱判斷處理。20、周延性概念：1、主、謂項(xiàng)的周延性，是相對(duì)于它們所在的判斷而言的，離開了判斷，單純的

18、概念是無所謂周延不周延的，2、主、謂項(xiàng)的周延性，是相對(duì)于判斷的形式結(jié)構(gòu)而言的，不是相對(duì)于判斷所斷定的對(duì)象本身的實(shí)際情況而言的。21、周延性的一般形式結(jié)論：1、全稱判斷的主項(xiàng)都周延，2、特稱判斷的主項(xiàng)都不周延，3、肯定判斷的謂項(xiàng)都不周延，否定判斷的謂項(xiàng)都周延。22、A、E、I、0四種判斷主、謂項(xiàng)周延情況表：判斷類型主項(xiàng)謂項(xiàng)A周延不周延E周延周延I不周延不周延0不周延周延23、關(guān)系判斷是斷定對(duì)象之間關(guān)系的判斷，由三部分構(gòu)成，1、關(guān)系者項(xiàng)，表示一定關(guān)系的承擔(dān)者的概念，也就是關(guān)系判斷的主項(xiàng)，2、關(guān)系項(xiàng)，表示關(guān)系之間存在的關(guān)系的概念，也就是關(guān)系判斷的謂項(xiàng)，3、量項(xiàng)，表示關(guān)系者項(xiàng)數(shù)量的概念。24、關(guān)系的性

19、質(zhì)：1、對(duì)稱性（對(duì)稱、非對(duì)稱和反對(duì)稱），2、傳遞性（傳遞、反傳遞、非傳遞）。第四章：判斷（二）1、復(fù)合判斷的特點(diǎn)：、它們是由兩個(gè)或以上的判斷組成，即它們的基本單位（變項(xiàng)）是判斷，組成復(fù)合判斷的判斷稱作支判斷，2、它們的支判斷通過“聯(lián)接詞”聯(lián)接，不同的聯(lián)接詞顯示不同的邏輯性質(zhì)，3、他們的真假是由其支判斷的真假來確定的。2、聯(lián)言判斷：就是斷定幾種事物情況同時(shí)存在的判斷。邏輯形式是：p并且q。其中p、q稱作聯(lián)言支，“并且”表示聯(lián)接詞，用符號(hào)“人”表示，讀作“合取”，上述形式可寫作：卩勺，聯(lián)言判斷的支判斷至少是兩個(gè)，也可以是多個(gè)。3、聯(lián)言判斷的真假情況是由其聯(lián)言支的真假來確定的。具體如下圖（此表稱為真

20、值表）：pqpAq真真假假真假真假真假假假4、選言判斷：就是斷定幾種可能事物情況至少有一種存在的判斷，構(gòu)成選言判斷的支判斷，稱作選言支。5、選言支之間具有并存關(guān)系，指一個(gè)選言判斷的選言支所斷定的可能事物情況是不排斥的，彼此相容的，可以同時(shí)存在的，選言支之間不具有并存關(guān)系，就是說一個(gè)選言判斷的選言支所斷定的可能事物情況是相互排斥的，彼此不相容的，不可以同時(shí)存在。6、宣言判斷的種類：1、相容的宣言判斷，2、不相容的宣言判斷。7、相容的宣言判斷：就是斷定幾個(gè)選言支中至少有一個(gè)為真且可以同真的選言判斷，邏輯形式為：p或者q，其中p、q稱作選言支，“或者”表示聯(lián)結(jié)詞,用符號(hào)“V”表示，讀作“析取”，可寫

21、作：pVq。相容的選言判斷的支判斷至少是兩個(gè)，也可以是更多。一個(gè)相容的選言判斷的真假是由其選言支的真假來確定的，任何相容的選言判斷的真假情況都是：pqpVq真真假假真假真假真真真假8、不相容的選言判斷：就是斷定幾個(gè)選言支中有并且只有一個(gè)為真的選言判斷。其邏輯特征就在于其選言支之間的關(guān)系相互排斥，彼此不相容，不可同真，邏輯形式為：要么p，要么q，其中p、q稱作選言支，“要么要么”表示聯(lián)結(jié)詞，用符號(hào)V表示（讀作“不相容析取”）可寫作：pVq，不相容的選言判斷的支判斷至少有兩個(gè)，也可以是多個(gè)。一個(gè)不相容的選言判斷的真假是由其選言支的真假來確定的。任何不相容的選言判斷的真假情況都是：pqpVq真真假假

22、真假真假假真真假9、假言判斷：就是斷定某一事物情況的存在（或不存在）是另一個(gè)事物情況存在（或不存在）的條件的判斷，假言判斷又叫條件判斷。10、事物之間的條件關(guān)系：形式邏輯主要涉及充分條件、必要條件、充分必要條件三種條件關(guān)系。11、充分條件：設(shè)定p和q分別為兩個(gè)事物情況，如果有p，就必然有q，而沒有p，是否有q不能確定，這樣，p就是q的充分條件。12、必要條件：設(shè)定p和q分別為兩個(gè)事物情況，如果沒有p，就必然沒有q，而有p，卻未必有q，這樣，p就是q的必要條件。13、充分必要條件：設(shè)定p和q分別為兩個(gè)事物情況，如果有p，必然有q，如果沒有p，必然沒有q，這樣，p就是q的充分必要條件。14、假言判

23、斷的種類：1、充分假言判斷，2、必要假言判斷，3、充分必要假言判斷。15、充分假言判斷：斷定事物情況之間具有充分條件關(guān)系的假言判斷，邏輯形式是：如果p，那么q，其中p、q分別稱作“前件”和“后件”，“如果那么表示聯(lián)結(jié)詞，用符號(hào)“”表示，可寫作：pq，充分假言判斷的聯(lián)結(jié)詞的語言表達(dá)方式可以是：“如果則”，“有就”，“一旦就”，“假若就”，“哪里.哪里就.”等。一個(gè)充分條件假言判斷的真假，是由其前件和后件的真假來確定的。任何充分條件的假言判斷真假情況是：pqpq真真假假真假真假真假真真16、必要條件假言判斷：斷定事物情況之間具有必要條件關(guān)系的假言判斷就是必要條件假言判斷，邏輯形式:只有p，才q，其

24、中p、q分別稱作“前件”和“后件”，“只有才”表示聯(lián)結(jié)詞，用符號(hào)“”表示，讀作“逆蘊(yùn)涵”，可寫作：pq，必要假言判斷的連結(jié)詞語言表示方式有：“除非不”，“除非才”，“不不”“沒有沒有”等。一個(gè)必要假言判斷的真假，是由其前件和后件的真假來確定的，任何必要條件的假言判斷的真假情況都是：pqpq真真假假真假真假真真假真17、充分必要條件假言判斷：斷定事物情況之間具有充分必要條件關(guān)系的假言判斷就是充分必要條件假言判斷，邏輯形式：p當(dāng)且僅當(dāng)q,其中p、q分別稱作“前件”和“后件”，“當(dāng)且僅當(dāng)”表示聯(lián)結(jié)詞，用符號(hào)“”表示，讀作“等值”，可寫作：pq,充分必要假言判斷的連結(jié)詞語言表示方式有：“如果.那么.并

25、且只有才”，“只有并且僅僅如此，才.”等。一個(gè)充分必要假言判斷的真假，是由其前件和后件的真假來確定的，任何充分必要條件的假言判斷的真假情況都是：pqpq真真假假真假真假真假假真18、負(fù)判斷：就是否定某個(gè)判斷的判斷，又叫判斷的否定，負(fù)判斷是一種復(fù)合判斷。邏輯形式：并非p,其中，p是判斷支，“并非”表示聯(lián)結(jié)詞，用符號(hào)“-”表示，讀作“非”，可寫作：-p,負(fù)判斷的支判斷既可以是簡(jiǎn)單判斷，又可以是復(fù)合判斷，還可以是更復(fù)雜的復(fù)合判斷，一個(gè)負(fù)判斷的真假是由其支判斷的真假來確定的。任何負(fù)判斷的真假情況是：pp真假假真19、簡(jiǎn)單判斷的負(fù)判斷：否定一個(gè)簡(jiǎn)單判斷就構(gòu)成該簡(jiǎn)單判斷的負(fù)判斷（1）“并非所有S是P”等值

26、于“有些S不是P”所有S是P有些S不是P真假假真并非所有S是P有些S不是P假真假真（2）“并非所有S不是P”等值于“有些S是P”所有S不是P有些S是P真假假真并非所有S不是P有些S是P假真假真（3）“并非有些S是P”等值于“所有S不是P”有些S是P所有S不是P真假假真并非有些S是P所有S不是P假真假真（4）“并非有些S不是等值于“有S是P”有些S不是P所有S是P真假假真并非有些S不是P所有S是P假真假真（5）“并非某個(gè)S是P”等值于“某個(gè)S不是P”（6）“并非某個(gè)S不是P”等值于“某個(gè)S是P”20、復(fù)合判斷的負(fù)判斷：否定一個(gè)復(fù)合判斷就構(gòu)成該復(fù)合判斷的負(fù)判斷（1）“并非（P并且q）”等值于“非p

27、或者非q”。（2）“并非（p或者q）”等值于“非p并且非q”。（3）“并非（要么p,要么q）”等值于“（p并且q）或者（非p并且非q）”。（4）“并非（如果p,那么q）”等值于“p并且非q”。（5）“并非（只有p,才q）”等值于“非p并且q”。（6）“并非（p當(dāng)且僅當(dāng)q）”等值于“（p并且非q）或者（非p并且q）”。（7）“并非（并非p）”等值于“p”。21、模態(tài)判斷：斷定事物情況的必然性或可能性的判斷,“必然”,“可能”在邏輯上稱為模態(tài)詞,模態(tài)判斷也包含模態(tài)詞的判斷。22、模態(tài)判斷的種類：1、或然模態(tài)狀態(tài),2、必然模態(tài)狀態(tài)。（1）或然模態(tài)狀態(tài)：含有“可能”模態(tài)詞的判斷是或然模態(tài)狀態(tài)判斷,按其對(duì)事物情況的可能性作出肯定還是否定斷定，又可將其分為或然肯定判斷和或然否定判斷?？隙ㄟ壿嬓问剑嚎赡躳，一般用“”表示“可能”,寫作：“p”。或然否定判斷邏輯形式：可能非p,寫作：“-p”。（2）必然模態(tài)判斷：含有“必然”模態(tài)詞的判斷是必然模態(tài)判斷,可分為肯定和否定兩種?？隙ǖ倪壿嬓问剑罕厝籶,一般用“”表示必然，可寫作：“p”，否定的邏輯形式：必然非p,寫作：-p23、模態(tài)判斷之間的真假關(guān)系：“必然p”，“必然非p”，“可能p”，“可能非p”之間具有一種對(duì)當(dāng)關(guān)系。用模態(tài)方陣表示為：第五章：普通邏輯的基本規(guī)律1、普通邏輯的基本規(guī)律：