邏輯學(xué) 大學(xué)課件

1、bad reasoning well as good reasoning is possible; and this fact is the foundation of the practical side of logic. Charles Sanders Peirce邏輯學(xué)Logic認(rèn)識(shí)你自己笛卡爾: “人是會(huì)思想的蘆葦”; “我思故我在” 薩特:“存在即是合理”尼采:“我是太陽” 海德格爾:“生命是詩意的棲居”著名雕塑沉思者 課程目的：培養(yǎng)批判性思維習(xí)慣； 掌握評(píng)估論證的標(biāo)準(zhǔn)和技巧； 提高理解能力和論說水平 計(jì)劃學(xué)時(shí)： 32學(xué)時(shí) 學(xué)習(xí)技巧：課堂理解 多做作業(yè) 留心應(yīng)用 授課教師：譚開翠

2、Email: Tel. 1.1 邏輯是什么 邏輯簡史與邏輯類型 邏輯的語源學(xué)邏各斯、Logic、名學(xué)、辯學(xué)等。 “邏輯”的多義性 客觀規(guī)律；思維規(guī)律、規(guī)則；看問題的視角、方法； 邏輯學(xué)等 邏輯學(xué)簡史 先秦名辯 名學(xué)和辯學(xué)的合稱。主要指先秦諸子關(guān)于名和辯的邏輯思想和理論，泛指中國古代的邏輯思想。整個(gè)先秦邏輯思想就是一個(gè)以正名為重點(diǎn)，包括名、辭、說、辯在內(nèi)的古代邏輯學(xué)說。第一章 引論 邏輯是探求區(qū)分好論證與壞論證的方法和規(guī)則的科學(xué)。邏輯使人嚴(yán)謹(jǐn)。墨經(jīng) 之小取，是中國古典邏輯的一個(gè)名家代表人物綱要，比較集中完整地討論了邏輯的基本內(nèi)容。墨經(jīng)是墨家創(chuàng)始人墨翟思想的發(fā)展。后期墨家在邏輯理論方面作出了重要貢

3、獻(xiàn)。他們對(duì)“故”、“理”、“類”古代邏輯的三個(gè)基本范疇下了明確的定義，并對(duì)“名”、“辭”、“說”作了深入研究。論述了“辟”（比喻）、“侔”（附比）、“援”（類比）、“推”（間接的歸納與演繹）四種形式的推理(見后期墨家邏輯)。這些思想，在中國古代邏輯史上占有重要地位。印度因明 從古代論辯術(shù)發(fā)展而來。先是五支論式，后發(fā)展為三支論式（宗、因、喻）。在分析正確論證和推理的同時(shí)，十分注重論證的“過”和反駁的“過”。因明于唐代傳入我國并得到發(fā)展。墨子西方邏輯 西方邏輯學(xué)創(chuàng)始人。工具論6 篇奠定了邏輯的基礎(chǔ)。主要貢獻(xiàn)是對(duì)三段論的系統(tǒng)研究。斯多葛學(xué)派于三段論之外，研究了命題邏輯。提出理想語言和推理是計(jì)算的思想

4、而成為現(xiàn)代邏輯的先驅(qū)。批判了形式邏輯，研究了辯證思維，構(gòu)造了辯證邏輯的體系。新工具針對(duì)亞氏的演繹邏輯而提出歸納和訴諸自然和經(jīng)驗(yàn)。三表法。揭示了思維的辯證矛盾。證明了狹謂詞演算的有效公式皆可證；如果一個(gè)初等數(shù)論的形式系統(tǒng)一致，則它是不完全的；這種系統(tǒng)的一致性在本系統(tǒng)中不能證明，更不能用有窮方法證明。他的這些工作正面或反面地，或是部分地解答了20世紀(jì)以來數(shù)學(xué)基礎(chǔ)問題爭論的最根本或最重要的問題現(xiàn)代歸納邏輯的發(fā)展有兩個(gè)方向 ： “經(jīng)典”數(shù)理統(tǒng)計(jì)方向和由J.M.凱因斯和F.P.拉姆齊開創(chuàng)，流行于5080年代初期的貝葉斯運(yùn)動(dòng)。20世紀(jì)中葉以來，美國的P.J.科恩用模態(tài)邏輯作為處理歸納推理的工具。 科恩指出

5、，支持度可列為不同的等級(jí)，不同等級(jí)的支持度， 就是證據(jù)給予假設(shè)不同等級(jí)的必然性， 一個(gè)被證明了的理論就是由較低級(jí)的必然性達(dá)到較高級(jí)的必然性。把概率作為一個(gè)邏輯概念來處理，區(qū)別于以相對(duì)頻率為根據(jù)的統(tǒng)計(jì)概率。邏輯概率是一切不具有演繹必然性的歸納推理的基礎(chǔ)，關(guān)于邏輯概率的理論就是歸納邏輯。它可給出假說的相對(duì)于給定證據(jù)的確認(rèn)度嚴(yán)格的因果陳述只是概率陳述的極限情況，科學(xué)中尤其是量子力學(xué)中的因果概念，并不一定要求概率接近于 1。一切科學(xué)陳述均是概率陳述，科學(xué)的邏輯是取值為區(qū)間01上的全部實(shí)數(shù)的概率邏輯N.Rescher Topics in Philosophical Logic 邏輯分支一覽表A.基礎(chǔ)邏輯

6、1傳統(tǒng)邏輯2經(jīng)典現(xiàn)代邏輯3非經(jīng)典現(xiàn)代邏輯B.元邏輯1邏輯語法學(xué)2邏輯語義學(xué)3邏輯語用學(xué)a邏輯語言論和 自然語言邏輯b修辭學(xué)分析c語境蘊(yùn)涵d非形式謬誤理論e邏輯的非古典應(yīng)用4邏輯語言學(xué)a結(jié)構(gòu)理論（形態(tài)學(xué)）b意義理論C有效性理論C.數(shù)學(xué)發(fā)展方面1算術(shù)2代數(shù)3函數(shù)論4證明論5概率論邏輯6集合論7數(shù)學(xué)基礎(chǔ)論D.科學(xué)發(fā)展方面1物理應(yīng)用a量子論邏輯b物理或因果模態(tài)理論2生物應(yīng)用a伍杰方式的發(fā)展b控制論邏輯3社會(huì)科學(xué)應(yīng)用a規(guī)范邏輯b價(jià)值邏輯c法律應(yīng)用E.哲學(xué)發(fā)展方面1倫理應(yīng)用a行為邏輯b義務(wù)邏輯c命令（祈使）邏輯d優(yōu)先邏輯和選擇邏輯（效益、價(jià)值、對(duì)策和決策的邏輯問題）2形而上學(xué)的邏輯應(yīng)用a存在性邏輯b時(shí)序邏

7、輯（時(shí)態(tài)、變化、過程邏輯）c部分與整體邏輯d本體學(xué)e構(gòu)造性邏輯（邏輯還原主義等）f（唯名論與唯實(shí)論之爭意義下的）本體論邏輯3認(rèn)識(shí)論應(yīng)用a問（答）邏輯b認(rèn)識(shí)論邏輯（相信、知道、相干）c假設(shè)邏輯（反事實(shí)的假設(shè)推理）d信息和信息過程的邏輯e歸納邏輯4歸納邏輯a證實(shí)和確證的邏輯b概率邏輯邏輯形式：具有不同內(nèi)容的思維（命題和推理）所共同具有的形式或結(jié)構(gòu) 操作定義：用抽象字母代換命題或推理中的具體內(nèi)容所得到的東西 邏輯形式實(shí)踐感性認(rèn)識(shí)感覺知覺表象理性認(rèn)識(shí)概念判斷推理思維形式 認(rèn)識(shí)與思維 普通邏輯的研究對(duì)象研究思維的邏輯形式及其基本規(guī)律以及人們認(rèn)識(shí)現(xiàn)實(shí)的簡單的邏輯方法思維的特征：間接性、概括性、與語言不可分

8、離 邏輯規(guī)律：同一律、矛盾律、排中律、充足理由律。至此，我們知道了 邏輯方法：定義、劃分、限制、概括等。思維的邏輯形式邏輯的基本規(guī)律簡單邏輯方法 有效性與可靠性有效性和可靠性是評(píng)價(jià)推理標(biāo)準(zhǔn)的概念。 有效的： 當(dāng)其前提為真，結(jié)論必定為真（或不可能為假）時(shí)，一個(gè)推理形式是有效的；否則，便是無效的。普通邏輯的對(duì)象所有S是P，所以，有的P是S這個(gè)推理形式可以保證，無論將S或P代以何種具體內(nèi)容，前提為真時(shí)，結(jié)論不可能假。換言之，你構(gòu)造不出一個(gè)實(shí)例，使得具有這一形式的推理擁有真的前提和假的結(jié)論。這實(shí)例叫該形式的反例。所有S是P，所以，所有P是S這個(gè)推理形式是有反例的。即，用具體內(nèi)容代換變項(xiàng)S和P后，即使前

9、提為真，結(jié)論也是可能為假的。試以團(tuán)員代換S，青年代換P，就有：所有團(tuán)員是青年所以，所有青年是團(tuán)員。該推理前提真而結(jié)論假。因此，原推理形式無效。 有效與無效是推理形式的性質(zhì)，是前提與結(jié)論之間的邏輯關(guān)系，與前提和結(jié)論事實(shí)上的真假無直接關(guān)系。前提結(jié)論有效性真真不定真假無效假真不定假假不定我們所能確定的只是兩點(diǎn)：1.前提真而結(jié)論假，則推理無效；2.前提真，推理有效，則結(jié)論必真。 可靠的：當(dāng)前提為真，結(jié)論較大可能為真時(shí)，一個(gè)推理形式是可靠的；否則，是不可靠的。有效性主要適用于演繹推理的評(píng)估；可靠性適用于歸納推理的評(píng)估1.2 學(xué)習(xí)邏輯的意義 邏輯的性質(zhì)基礎(chǔ)性 人文性 工具性 學(xué)習(xí)邏輯的意義培養(yǎng)批判性思維習(xí)

10、慣與能力思維創(chuàng)新的前提理解、論說的基礎(chǔ)工具 批判性思維是以鑒別一個(gè)人思維的力量與弱點(diǎn)的方式來思考其思維的能力，它以一種改良的形式重鑄思維。這種對(duì)思維的反思包括，識(shí)別思想的基本要素：目的、問題、信息、假設(shè)、解釋、概念、含意、觀點(diǎn)等，以及使用諸如清晰性、準(zhǔn)確性、精確性、相關(guān)性、深度、廣度和邏輯性等等普遍智力規(guī)范和標(biāo)準(zhǔn)評(píng)價(jià)這些要素的能力。 任何學(xué)科理論都有目標(biāo)和關(guān)于那些目標(biāo)的邏輯結(jié)構(gòu)集：假設(shè)、概念、主題、資料、理論、主張、含意、推論（后承）等等。某些概念在邏輯上比其他的更基本。每一學(xué)科都依賴概念、假設(shè)和理論，做出主張，給出理由和證據(jù)，避免矛盾等等。每一學(xué)科都應(yīng)用著邏輯。 學(xué)習(xí)邏輯的方法重點(diǎn)是理解；作

11、業(yè)是手段；文本分析是關(guān)鍵本章概要： 邏輯是研究思維的邏輯形式及其基本規(guī)律以及簡單邏輯方法的科學(xué)。任何邏輯形式都包括邏輯常項(xiàng)和邏輯變項(xiàng)。變項(xiàng)符號(hào)有兩類，一類代表詞項(xiàng)（S、P），一類代表語句（p、q）。邏輯形式的性質(zhì)主要由邏輯常項(xiàng)決定。邏輯有三大源流。邏輯是工具性質(zhì)的科學(xué)。學(xué)習(xí)邏輯可以提高批判性思維能力。學(xué)好邏輯的關(guān)鍵是對(duì)實(shí)際會(huì)話和文本進(jìn)行邏輯分析。 概念是思維之網(wǎng)的紐結(jié)。我們對(duì)世界的認(rèn)識(shí)成果都通過概念而鞏固起來。第二章 概念2.1 概念的內(nèi)涵和外延2.2 概念的種類2.3 概念間的關(guān)系2.4 概念的定義2.5 概念的劃分2.6 概括與限制2.1 概念內(nèi)涵與外延 概念是反映對(duì)象特有屬性或本質(zhì)屬性的

12、思維形式。對(duì)象：客觀的事物、現(xiàn)象；人的感覺、表象，思想意識(shí)，情感意志等， 總之，一切可以成為人的認(rèn)識(shí)對(duì)象的東西。屬性：性質(zhì)和關(guān)系。特有屬性：該對(duì)象所有，其他對(duì)象不具有的屬性。非特有屬性是并不為 某對(duì)象專有的屬性。借助特有屬性，可以把一對(duì)象和其他對(duì) 象區(qū)別開來。特有屬性反映為初級(jí)概念，此時(shí)把握的還是對(duì) 象的偶然的性質(zhì)，如“人”的初級(jí)概念、“金”的初級(jí)概念。本質(zhì)屬性：特有屬性中根本性的、基礎(chǔ)性的，決定其他特有屬性的那些 特有屬性。本質(zhì)屬性反映為深刻的概念即科學(xué)概念，它把握 的是對(duì)象的必然的性質(zhì)，如科學(xué)的“人”的概念、“金”的概念。對(duì)象的特有屬性是多種多樣的，本質(zhì)屬性也是多方面的。2.1 概念內(nèi)涵與

13、外延內(nèi)涵：反映在概念中的對(duì)象的特有屬性或本質(zhì)屬性。 例： 人是能制造和使用工具的動(dòng)物 商品是為交換而生產(chǎn)的勞動(dòng)產(chǎn)品 回答“是什么”：概念是什么意思 說明對(duì)象有何性質(zhì) 外延：具有概念所反映的特有屬性或本質(zhì)屬性的對(duì)象。 回答：“有多少”：概念包括哪些對(duì)象 范圍如何 該名稱適用的事物 類、分子、子類、空類（虛概念） 注意：內(nèi)涵特有屬性 外延對(duì)象 概念內(nèi)涵、外延的確定性和變動(dòng)性根據(jù)內(nèi)涵與外延的一般特征對(duì)概念進(jìn)行分類。單獨(dú)概念：外延分子1 普遍概念：外延分子2 一個(gè)對(duì)象 專名、摹狀詞 一類對(duì)象 名詞、動(dòng)詞、形容詞2.2 概念的種類 普遍概念和單獨(dú)概念 集合概念和非集合概念 反映非集合體非集合概念 反映集

14、合體集合概念 設(shè)A為一個(gè)由多個(gè)個(gè)別對(duì)象a1、a2、a3、a4an組成， 若a1an的任意一個(gè) 若a1an的任意一個(gè) 必然具有A的任一屬性， 不必然具有A的任一屬性， 則A為非集合體。 則A為集合體。 舉例：“書” “叢書”， 同一語詞在不同語境下既可以表達(dá)集合概念，也可以表達(dá)非集合概念 “我班同學(xué)都是大學(xué)生” “ 我班同學(xué)來自全國各地”正概念：反映對(duì)象具有某種屬性的概念負(fù)概念：反映對(duì)象不具有某種屬性的概念。 負(fù)概念在語詞表現(xiàn)形式上 帶有“無”、“不”、“非”等否定詞，但并非帶有否定詞的都表達(dá) 負(fù)概念，如，“無錫”、“不萊梅”、“非洲”。 負(fù)概念的概括力較強(qiáng)，一切不具有某種屬性的對(duì)象都包括在內(nèi)。

15、若不用負(fù)概念，用正概念列舉有很大困難。 負(fù)概念的使用一般總是相對(duì)于一個(gè)特定的范圍，否則陳述的意義不明確 “這本雜志上有一篇小說，其余都是非小說”三種分類是對(duì)同一概念從不同角度劃分的結(jié)果。說到底，三種劃分實(shí)際可歸為二種。集合與非集合的劃分，在特定的論域內(nèi)，可以用單獨(dú)和普遍概念的劃分來代替。所謂“總名”的用法，在一定語境中就是單獨(dú)概念。“分名”的用法，就是普遍概念。這樣，集合和非集合概念的區(qū)分，也就是單獨(dú)概念和普遍概念的區(qū)分。如“魯迅的作品”。正（肯定）概念和負(fù)（否定）概念 從外延方面看到的概念間的關(guān)系。主要是考慮兩個(gè)或兩個(gè)以上概念的外延是否有公共分子，有多少。以下以兩個(gè)概念關(guān)系為典型進(jìn)行分析。

16、兩個(gè)概念有完全相同的分子，即兩個(gè)概念外延包括同樣的對(duì)象，兩個(gè)概念指稱同樣的對(duì)象。設(shè)概念s和p， sp，自然語言“就是”，“即” 全同概念外延相同，但內(nèi)涵不盡相同，它們反映的是同一對(duì)象不同方面的本質(zhì)屬性或特有屬性。它既有認(rèn)識(shí)意義，也有修辭意義。 根據(jù)全同概念，我們可以形成這樣的命題：所有s是p，所有p是ss p2.3 概念間的關(guān)系 全同關(guān)系 s概念的全部外延與 p 概念的一部分外延是相同的分子，則s概念真包含于p概念。這就是說，s 概念的外延小，p概念的外延大，所有s概念的分子都是p概念的分子，但至少有一個(gè)p概念的分子不是s概念的分子。也叫s對(duì)p的“種屬關(guān)系”。 我們可以說：所有s是p，有的p是

17、s， 有的p不是s 。 s概念的部分外延與p概念的全部外延是相同的分子，則s概念包含p概念。也是說，s概念的外延大，p概念的外延小，所有p概念的分子都是s概念的分子，但至少有一個(gè)s概念的分子不是p概念的分子。也叫s對(duì)p 的“屬種關(guān)系”。 我們可以說：所有p都是s，有的s是p， 有的s不是p。 b bspps 真包含于關(guān)系 真包含關(guān)系 s概念的部分外延和p概念的部分外延是相同的分子，而另一部分卻是不同的分子。即兩個(gè)概念僅有一部分分子相同。 我們可以形成命題：有些s是p， 有些s不是p，有些p是s， 有些p不是s。 s概念和p概念沒有任何相同的分子。即所有s不是p，所有p不是s。考慮到論域，全異關(guān)

18、系可具體分為兩種 spsp 交叉關(guān)系 全異關(guān)系 反對(duì)關(guān)系 s與p全異，且s+p 的外延c ， s不是p，p不是s；對(duì)c中的任一對(duì)象x而言，x可能既不是s，又不是p：可能非此非彼。根據(jù)矛盾關(guān)系，從否定x是s即x不是s ，推出x是p；但依據(jù)反對(duì)關(guān)系就不行。 團(tuán)員s 黨員p 人c概念間的關(guān)系在以后的性質(zhì)命題的分析中要運(yùn)用。spc 矛盾關(guān)系 s與p為全異關(guān)系，且sp的外延論域（c） s不是p，p不是s；對(duì)c中的任一對(duì)象x而言，x不是s就是p，當(dāng)然，x不可能既是s又是p，x也不可能既不是s，又不是p。“非此即彼”這種關(guān)系正是一個(gè)正概念與其負(fù)概念的關(guān)系。 團(tuán)員s 非團(tuán)員s或 s 人c sscps 何謂定義

19、2.4 定義 揭示概念內(nèi)涵的邏輯方法。以一些更易于理解的概念來替換不易理解的概念；用簡明精練的語句將一個(gè)概念的內(nèi)涵揭示出來。由于概念的內(nèi)涵是反映在概念中的對(duì)象的特有屬性或本質(zhì)屬性，因此，下定義也就是揭示被定義概念所反映的對(duì)象的特有屬性或本質(zhì)屬性。這是作為動(dòng)詞的概念。 作為名詞的“定義”：陳述一個(gè)概念內(nèi)涵的語句。 它由三部分組成：被定義項(xiàng)（ Ds ）、定義項(xiàng)（Dp）和聯(lián)項(xiàng)。聯(lián)項(xiàng)有“是”、“就是”、 “即”、“所謂，就是”等。其結(jié)構(gòu)是：Ds 就是 Dp 屬加種差定義 被定義概念種差屬 操作時(shí)，是先找出被定義概念的屬概念，再在屬的范圍內(nèi)找出被定義概念反映的對(duì)象與其他同類對(duì)象之間的差別，然后將種差作為

20、定語加在表達(dá)屬概念的語詞的前頭，最后用聯(lián)詞和被定義概念組成一個(gè)陳述句。 下定義的方法人是能制造和使用工具的動(dòng)物 人的屬概念有：高智能動(dòng)物；靈長類動(dòng)物；哺乳動(dòng)物；脊椎動(dòng)物； 爬行動(dòng)物 動(dòng)物；生物 選“動(dòng)物”為“屬”將人與非動(dòng)物區(qū)別開來。但同屬于動(dòng)物的有馬，牛，羊，狗 ，“人是動(dòng)物”并不能把人和其他動(dòng)物區(qū)別開來。人與其他動(dòng)物的區(qū)別，或人的特有屬性是什么？找到這個(gè)差別，就可以將人和其余的事物相區(qū)別。動(dòng)物人牛羊豬雞馬驢人關(guān)于屬：一個(gè)概念的屬概念有很多，選用哪一個(gè)，應(yīng)依實(shí)際需要。 找不到屬的概念不能用這種定義方法。關(guān)于種差：當(dāng)種差是很多屬性的組合時(shí)，定義變得冗長，已不是“簡明精 練”的語句。對(duì)個(gè)體作這種

21、定義變成了描述。 種差反映對(duì)象的特有屬性或本質(zhì)屬性。對(duì)象的特有屬性和本質(zhì)屬性都是多個(gè)，因此，種差也可以有多種。不同學(xué)科對(duì)同一對(duì)象有不同定義。下定義也有多種屬加種差的方法。 性質(zhì) 發(fā)生情況 功用 關(guān)系 操作 真 實(shí) 定 義 性質(zhì)定義 發(fā)生定義 功用定義 關(guān)系定義 操作定義等。 真實(shí)定義或?qū)嵸|(zhì)定義揭示概念的內(nèi)涵，也即對(duì)象的特有屬性或本質(zhì)屬性。但語詞定義卻是揭示語詞所表達(dá)的意義的定義，即一個(gè)語詞本身的意義，而不是語詞所表達(dá)的概念的意義。 描述性（說明性）的：陳述或描述一個(gè)已在使用中的術(shù)語的一個(gè)或幾個(gè)公認(rèn)的意義。 形式：具有與相同的意義； 特征：有真假。犢是小牛 規(guī)定性的：通過規(guī)定，賦予給定的術(shù)語以特

22、定的意義；該術(shù)語可以是一個(gè)新造的語詞或符號(hào)表達(dá)，也可以是一個(gè)“舊”術(shù)語被用在特定的新的意義上。 形式： 應(yīng)具有與相同的意義； 讓我們把理解為與 相同的東西； 特征：是約定；不能區(qū)分真假。 語詞定義 外延定義窮舉定義 如果一個(gè)概念所指的對(duì)象數(shù)目很少，或者其種類有限，則可以對(duì)它下窮舉的外延定義。列舉定義 屬于一個(gè)概念的外延的對(duì)象數(shù)目很大，或者種類很多，無法窮盡的列舉，于是就舉出一些例證，以幫助人們獲得關(guān)于這個(gè)概念所指稱的對(duì)象的一些了解。 實(shí)指定義 通過用手指著某一個(gè)對(duì)象，從而教會(huì)兒童去認(rèn)識(shí)事物和使用語言，這樣的方法常被叫做“實(shí)指定義”。遞歸定義 用數(shù)學(xué)歸納法給對(duì)象下的定義1、定義相應(yīng)相稱 Ds D

23、p 2、定義不能循環(huán)（不得直接或間接包含被定義項(xiàng)）； 定義的規(guī)則Ds Dp DpDs 定義過寬 Dp Ds 定義過窄 錯(cuò)誤錯(cuò)誤直接包含 Ds Dp（ Ds） 同語反復(fù)間接包含 Ds Dp Ds 循環(huán)定義3、盡可能用肯定形式； 負(fù)概念只能用否定形式來定義，如“非團(tuán)員” 正概念也可能用否定定義，如“平行線” 錯(cuò)誤 定義離題4、定義必須明確 排除各種修辭手法的運(yùn)用 錯(cuò)誤 定義含混 以比喻代定義 以一對(duì)象屬性為標(biāo)準(zhǔn)，將一個(gè)屬概念的外延分成若干個(gè)種概念，以明確概念外延的邏輯方法。劃分比通過列舉分子來明確外延更易操作。 結(jié)構(gòu)：被劃分的概念劃分的母項(xiàng) 劃分后得到的概念子項(xiàng) 任意一個(gè)屬性劃分的根據(jù)母項(xiàng)和子項(xiàng)間

24、的關(guān)系是屬種關(guān)系。劃分和分解的區(qū)分： 對(duì)象 結(jié)果 關(guān)系 劃分 類 子類 子類必有類的屬性 分解 整體 部分 部分不必然有整體屬性2.5 劃分 何謂劃分 科學(xué)包括自然科學(xué)和人文社會(huì)科學(xué)一次劃分：一個(gè)母項(xiàng)，一層次（多個(gè)）子項(xiàng)，一個(gè)根據(jù)圖書 自然科學(xué)圖書 社會(huì)科學(xué)圖書連續(xù)劃分：多層母項(xiàng)，多層子項(xiàng)，多個(gè)根據(jù) 劃分的方法 一次劃分和連續(xù)劃分 二分法 一個(gè)母項(xiàng)，兩個(gè)子項(xiàng)，“有無”某屬性為根據(jù)人類社會(huì)形態(tài) 圖書自然科學(xué)圖書社會(huì)科學(xué)圖書 物理學(xué)圖書化學(xué)圖書哲學(xué)圖書 經(jīng)濟(jì)學(xué)圖書中國哲學(xué)外國哲學(xué)階級(jí)社會(huì) 正概念無階級(jí)社會(huì) 負(fù)概念劃分根據(jù)為本質(zhì)屬性或特有屬性 分類 輔助分類自然分類生物分類元素周期表字典編排超市商品

25、擺設(shè)劃分的根據(jù)隨意，所以，劃分具有臨時(shí)性；分類的根據(jù)深刻，所以，相對(duì)穩(wěn)定。 劃分的規(guī)則 1.劃分必須是相稱的 母項(xiàng)外延子項(xiàng)外延和 子項(xiàng)外延和母項(xiàng)外延 劃分不全 子項(xiàng)外延和母項(xiàng)外延 多出子項(xiàng)2.一次劃分的根據(jù)必須同一3.劃分的子項(xiàng)應(yīng)是相互排斥的 子項(xiàng)間為全異關(guān)系 錯(cuò)誤 錯(cuò)誤 錯(cuò)誤 混淆根據(jù)子項(xiàng)相容屬種關(guān)系的概念:內(nèi)多外小，內(nèi)少外大：2.6 概括和限制 內(nèi)涵和外延的反變關(guān)系 馬白馬小白馬動(dòng)物內(nèi)涵外延少多大小 概念的限制 根據(jù)內(nèi)多外小，通過增加內(nèi)涵（屬性），使一個(gè)外延較大的概念過渡到一個(gè)外延較小的概念。連續(xù)限制。限制前后的概念關(guān)系是屬種關(guān)系。注意限制性語詞是限定即增加內(nèi)涵，還是僅起描述作用?！?長城

26、”“萬里長城”。限制的極限單獨(dú)概念。 依據(jù)內(nèi)少外大，通過減少內(nèi)涵， 使得一個(gè)外延較小的概念過渡到一個(gè)外延較大的概念。連續(xù)概括。概括前后的概念關(guān)系是種屬關(guān)系。概括的極限外延最大的概念。去掉限定語是否減少了內(nèi)涵？ 概念的概括 本章概要： 概念是反映對(duì)象特有屬性或本質(zhì)屬性的思維形式。內(nèi)涵和外延是概念的基本特征。根據(jù)不同的標(biāo)準(zhǔn)，可將概念劃分為單獨(dú)與普遍概念；集合與非集合概念；正概念與負(fù)概念。概念間的外延關(guān)系有5種： 全同、真包含于、 真包含、交叉和全異。其中全異關(guān)系包括矛盾關(guān)系和反對(duì)關(guān)系。定義是揭示概念內(nèi)涵的邏輯方法，一般用屬加種差下定義方法。劃分是明確概念外延的邏輯方法，包括一次劃分與連續(xù)劃分；二分

27、法；分類?；趯俜N關(guān)系概念外延的反變關(guān)系，可以對(duì)概念進(jìn)行限制和概括?？梢杂眉险搧矸治龈拍钔庋拥哪承┬再|(zhì)，把概念間的關(guān)系理解為一種集合演算。 重點(diǎn)：概念間關(guān)系；概念的定義與劃分 難點(diǎn)：集合概念 3.1 概 述第三章 命題邏輯命題：通過語句反映事物情況的思維形式。特征：有真假真值判斷：被斷定了的命題。特征：主觀斷定。語句：表示事物情況的聲音或筆畫。3.1.1 命題、判斷、語句 命題邏輯把命題分析為構(gòu)成復(fù)合命題的成分即簡單命題，簡單命題的真值組合決定整個(gè)復(fù)合命題的真值。命題與判斷的關(guān)系 命題未必經(jīng)過斷定,被斷定了的命題才是判斷命題與語句的關(guān)系 內(nèi)容與表達(dá)形式1）任何命題都通過語句表達(dá)；2）但并非一

28、一對(duì)應(yīng)：有些語句不表達(dá)命題（疑問、祈使、感嘆等）；數(shù)句一命題；一句數(shù)命題一切反動(dòng)派都是紙老虎所有團(tuán)員都是青年所有我班學(xué)生都是大學(xué)生所有商品都是勞動(dòng)產(chǎn)品SP以上四個(gè)命題具有不同的內(nèi)容，但用抽象字母替換其具體內(nèi)容后，所得到的結(jié)構(gòu)是：所有S是P一切反動(dòng)派都不是紙老虎所有團(tuán)員都不是青年所有我班學(xué)生都不是大學(xué)生所有商品都不是勞動(dòng)產(chǎn)品所有S不是P類似地，以下命題也具有不同的內(nèi)容但它們有共同的邏輯形式與這些邏輯形式屬于同類的還有3.1.2 命題的邏輯形式有的S是P有的S不是P如：有的人是團(tuán)員有的人不是大學(xué)生如果一個(gè)物體摩擦，那么這個(gè)物體生熱如果你能辦成這件事，那么我從樓跳下去還有另外一類命題pq按照操作定義

29、，得出它們的邏輯形式是如果那么其中替換內(nèi)容的字母用了小寫的p、q等只有才只有耕耘，才有收獲只有發(fā)燒，才會(huì)患肺炎要么武松死，要么老虎死生存，還是死亡？要么要么這商品品質(zhì)好，而且價(jià)格低小張學(xué)習(xí)好，而且品德高尚P 且 q或者或者或者老張是導(dǎo)演，或者老張是演員他或者吃米飯，或者吃面條并非并非人是由石頭變來的并非人人有自知之明命題形式：命題的邏輯形式命題形式模態(tài)命題（帶有“必然”、“可能”等）簡單命題（變項(xiàng)概念）復(fù)合命題（變項(xiàng)命題）聯(lián)言選言假言關(guān)系命題（支命題與聯(lián)結(jié)詞）（主、謂項(xiàng)與量詞、聯(lián)項(xiàng)）（關(guān)系者項(xiàng)、量詞與關(guān)系項(xiàng)）性質(zhì)命題負(fù)命題非模態(tài)命題另一種分類命題分類推理：從一個(gè)或幾個(gè)已知命題推出一個(gè)新命題的思

30、維形式。 例，有的大學(xué)生是男性， 所以，有的男性是大學(xué)生。 推理由命題組成，如果用相同的字母替換相同的具體內(nèi)容，就可得到推理的邏輯形式。 所有團(tuán)員是青年，所以，有的青年是團(tuán)員 S P P S M P S M S P所有M是P，所有S是M，所以，所有S是P 所有S是P，所以，有的P是S推理的邏輯形式所有哲學(xué)家是思想家，亞里士多德是哲學(xué)家，所以，亞里士多德是思想家前提推理標(biāo)志詞結(jié)論 結(jié)構(gòu)不同類型的命題可組成不同類型的推理 如：如果一個(gè)人患肺炎（p），那么他發(fā)燒（q），小張不發(fā)燒（非q），所以，他未患肺炎（非p） 如果p，那么q 非q 所以，非p要么你交錢（p） ，要么你交命（q）你交了錢（p）所以

31、，你不用交命（非q） 要么p，要么q P 所以，非q以上均為演繹推理的邏輯形式，還有歸納推理形式，可參閱教科書任何一個(gè)邏輯形式都包括：邏輯常項(xiàng) 和 邏輯變項(xiàng)所 有 S 是 P常項(xiàng)變項(xiàng) 推理分類必然性推理（演繹推理） 或然性推理歸納推理類比推理簡單命題推理復(fù)合命題推理性質(zhì)關(guān)系聯(lián)、選、假、負(fù)定義：反映若干事物情況同時(shí)存在結(jié)構(gòu)：聯(lián)言支 （若干情況） 聯(lián)結(jié)詞（同時(shí)存在）公式： p且q且r pqr （合取式）自然語句：雖然，但是；既，又；不僅，而且；盡管，可是；逗、句、分號(hào)例：物美價(jià)廉這件商品質(zhì)量好而且這件商品價(jià)格便宜 情況組合 符號(hào) 物美價(jià)廉之真假 1.物美 價(jià)廉 p,q 真 t 2.物美 價(jià)不廉 p

32、,q 假 f 3.物不美 價(jià)廉 p,q 假 f 4.物不美 價(jià)不廉 p,q 假 f 聯(lián)言命題p qpqt tt ff tf f t f f f真值：支支真，真；任一支假，假pq的真值表p q p q3.2 聯(lián)言命題及其推理省略式：省略主項(xiàng)、謂項(xiàng)，主謂項(xiàng)； 聯(lián)言推理定義：前提或結(jié)論為聯(lián)言命題的推理；依據(jù)聯(lián)言命題性質(zhì)進(jìn)行的推理種類：分解式 依據(jù)合取式定義反過來，合取真則支支真。 組合式 依據(jù)合取式定義，支支真則合取真pq ppq q（ p，q，r ） pq r定義：反映若干可能事物情況至少有一種存在結(jié)構(gòu)：選言支 （若干可能情況） 聯(lián)結(jié)詞（至少有一存在） 選言命題p qpqt tt ff tf f

33、t t t f真值：支支假， 假pq的真值表 情況組合 符號(hào) 命題真假 1.不可靠 有錯(cuò)誤 p,q 真 t2.不可靠 無錯(cuò)誤 p,q 真 t3.可靠 有錯(cuò)誤 p,q 真 t4.可靠 無錯(cuò)誤 p,q 假 f3.3 選言命題及其推理 相容選言命題定義：選言支可同真 結(jié)構(gòu)：p或q pq（為相容析取）自然語句：或，或；可能，也可能；也許，也許 例 “此報(bào)告或材料不可靠，或計(jì)算有錯(cuò)誤” 定義：選言支不同真 結(jié)構(gòu)：選言支（可能情況） 聯(lián)結(jié)詞（不能同時(shí)存在） 要么p，要么q pqr（為不相容析?。┳匀徽Z句：不是，就是；或，或，二者不可兼得等p qpqt tt ff tf f f t t f真值：至少有一存在

34、，但不能同時(shí)存在即至少且至多有一存在，也即唯一支真 唯一支真， 真pq的真值表 情況組合 符號(hào) 命題真假 1.虎死， 松死 p, q 假 f 2.虎死， 松未死 p,q 真 t 3.虎未死，松死 p,q 真 t 4.虎未死，松未死 p, q 假 f 例析 “要么武松打死老虎，要么老虎吃掉武松” . 不相容選言命題 選言支窮盡問題 選言支窮盡的命題一定是真命題，但一個(gè)真的選言命題不一定是選言支窮盡的定義：根據(jù)選言命題性質(zhì)進(jìn)行的推理依據(jù) pq 的性質(zhì)，至少有一支真，所以（ pq）p）q（ pq）q）p（( pqr） p）（qr）但有 選言推理 相容選言推理（ pq）p） q（ pq）q）p無效式（

35、 pq）p）q（ pq ） p） q 不相容選言推理依據(jù) pq性質(zhì)，至多至少有一支真 肯定否定式 根據(jù)至多有一支真對(duì)多個(gè)支的不相容析取，肯定其一則可否定其余，即 （ pqr）p）（pq）（ pqr）p）（qr）（ pq r ） p）（qr）但否定其一，不能肯定剩余的每一個(gè)，只能肯定剩余的析取式否定肯定式 根據(jù)至少有一支真 3.4 假言命題及其推理 假言命題定義：反映一事物情況是另一事物情況的存在條件的命題 前件 后件 聯(lián)結(jié)詞 如果一個(gè)人患了肺炎，那么這個(gè)人發(fā)燒關(guān)鍵是前后件關(guān)系是否反映兩種情況之條件關(guān)系 充分條件假言命題定義：反映一事物情況是另一事物情況的存在的充分條件命題 有p必有q，無p未必

36、無q1、p，q2、p，q3、p，q4、從未有p而qP是q的充分條件1，4 2，3結(jié)構(gòu)：若p則q pq自然語句：假使，那么；倘若，則；只要，就；要是，就； 當(dāng)，便；一旦，就；如果，則例析 “如果一個(gè)物體摩擦，那么這個(gè)物體生熱” 情況組合 符號(hào) 命題真假1.摩擦 ， 生熱 p, q 真 t 2.摩擦， 不生熱 p,q 假 f3.不摩擦，生熱 p,q 真 t4.不摩擦，不生熱 p, q 真 t真值：前（件）真而后（件）假，則假 前（件）假，或后（件）真，則真p qpqt tt ff tf f t f t t 必要條件假言命題定義：反映一事物情況是另一事物情況的存在的必要條件命題 結(jié)構(gòu)：只有p才q p

37、q 自然語句：只有，才；除非，不；沒有，就沒有例析 “只有一個(gè)人年滿18歲，他才有選舉權(quán)” 真值：前（件）假而后（件）真，則假 前（件）真，或后（件）假，則真p qpqt tt ff tf f t t f t有p未必有q，無p必定無qP是q的必要條件 1，2 3，41、p，q2、p，q3、p，q4、從未有p而q 情況組合 符號(hào) 命題真假1.年滿18， 有選舉權(quán) p, q 真 t 2.年滿18， 無選舉權(quán) p,q 真 t3.未滿18， 有選舉權(quán) p,q 假 f4.未滿18， 無選舉權(quán) p,q 真 t 充分必要分條件假言命題定義：反映一事物情況是另一事物情況的存在的充分且必要條件命題 結(jié)構(gòu)：當(dāng)且僅

38、當(dāng)p才q pq自然語句：當(dāng)且僅當(dāng)；如果，則；如果不，則不例析p qpqt tt ff tf f t f f t 情況組合 符號(hào) 命題真假1.偶數(shù)， 被2整除 p,q 真 t 2.偶數(shù)，不被2整除 p,q 假 f3.不是偶數(shù)，但被2整除 p,q 假 f4.不是偶數(shù)，不被2整除 p,q 真 t“一個(gè)數(shù)是偶數(shù)，當(dāng)且僅當(dāng)它能被2整除”有p未必有q，無p必定無q充分條件有p必有q，無p未必?zé)oq必要條件充要條件有p必有q，無p必?zé)oq（P等值于q）真值：前后件同真假，則真 假言推理根據(jù)假言命題性質(zhì)的推理 充分條件假言推理根據(jù)前件是后件的充分條件；后件是前件的必要條件（p q）p）q（p q）q） p肯定前件

39、式 有p必有q否定后件式 無q必?zé)op P是q的充分條件q是p的必要條件（p q）q）p（p q）p） q肯定后件式 有q不必有p否定前件式 無p不必?zé)oq 必要條件假言推理根據(jù)前件是后件的必要條件；后件是前件的充分條件（pq） p） q（p q）q）p否定前件式 無p必?zé)oq肯定后件式 有q必有p P是q的必要條件q是p的充分條件（p q）p）q（p q）q） p肯定前件式 有p不必有q否定后件式 無q不必?zé)op 根據(jù)pq等值于qp， pq 因此，兩個(gè)有效式相當(dāng)于（q p） p ） q（q p）q） p（ p q ） p ） q（ p q ） q ） p 充要條件假言推理根據(jù)前件是后件的充分條件；前

40、件是后件的必要條件 后件是前件的充分條件；后件是前件的必要條件（p q）p）q（p q）p） q肯定前件式 有p必有q否定前件式 無p必?zé)oq P與q互為充分條件 互為必要條件（p q） q） p（p q）q）p肯定后件式 有q必有p否定后件式 無q必?zé)op 只要對(duì)前后件進(jìn)行一致的肯定或否定，充要條件推理就是有效的根據(jù)轉(zhuǎn)換，三種假言推理中，充分條件假言推理是基本的 條件命題的轉(zhuǎn)換（pq）（qp）（ q p）（pq）（qp）（ p q）pq（pq）（qp） （pq）（pq ）（pq）（p q） （pq）（qp） 如果摩擦，則生熱只有生熱，才摩擦如果未生熱，則未摩擦只有發(fā)燒，才患肺炎如果患肺炎，則發(fā)燒

41、如果不發(fā)燒，則未患肺炎一個(gè)數(shù)能被2整除，當(dāng)且僅當(dāng)它是偶數(shù)一個(gè)數(shù)是偶數(shù)，當(dāng)且僅當(dāng)它能被2整除一個(gè)數(shù)能被2整除，當(dāng)且僅當(dāng)它是偶數(shù)只有一個(gè)聰明人 A、B、C三個(gè)人一起參加了物理和化學(xué)兩門考試。 三個(gè)人中，只有一個(gè)聰明人。 A說（1）如果我不聰明，我將不能通過物理考試。 （2）如果我聰明，我將能通過化學(xué)考試。 B說（3）如果我不聰明，我將不能通過化學(xué)考試。 （4）如果我聰明，我將能通過物理考試。 C說（5）如果我不聰明，我將不能通過物理考試。 （6）如果我聰明，我將能通過物理考試。 考試結(jié)束后，證明三個(gè)人說的都是真話，并且： 第一，聰明人是三人中唯一的一個(gè)通過兩門科目中某門考試的人； 第二，聰明人也是

42、三人中唯一的一個(gè)沒有通過另一門考試的人。 你知道這三個(gè)人中，誰是聰明人嗎？3.5 負(fù)命題及其推理 負(fù)命題定義：否定某個(gè)命題的命題 一元聯(lián)結(jié)詞 任何一個(gè)命題形式都可以加上否定詞“并非”（）形成其負(fù)命題結(jié)構(gòu)：聯(lián)結(jié)詞“并非” 支命題一個(gè)自然語言：并非；并不是；是假的；是不對(duì)的例析 并非我班所有同學(xué)都是中共黨員 p p t f f t p真值：負(fù)命題真，當(dāng)且僅當(dāng)原命題假 因此有 雙重否定律：p pP p ptffttf 負(fù)命題的等值推理 聯(lián)言命題負(fù)命題推理（pq ） （ pq）否定合取得析取，分配否定到變項(xiàng) 充分條件假言命題負(fù)命題推理 相容選言命題負(fù)命題推理 不相容選言命題負(fù)命題推理（pq ） （ p

43、q）否定析取得合取，分配否定到變項(xiàng)德摩根定律（pq ） （ p q）( pq ） （p q） （pq ） 必要條件假言命題負(fù)命題推理 充要條件假言命題負(fù)命題推理（pq） （ pq ）（pq）（pq ）（pq ） 負(fù)命題的負(fù)命題推理（ p） p3.6 復(fù)合命題的其他推理 假言選言推理（二難推理）定義：假言、選言命題構(gòu)成，假言前提為2者是二難推理形式：簡單構(gòu)成式、簡單破壞式、復(fù)雜構(gòu)成式、復(fù)雜破壞式prprpp總之，rpqprqr總之，ppqrspr總之，或q或s簡單構(gòu)成式結(jié)論不帶析取肯定前件式前件不同后件同簡單破壞式結(jié)論不帶析取否定后件式后件不同前件同復(fù)雜構(gòu)成式結(jié)論帶析取肯定前件式前后件均不同pq

44、rsqs總之，或p或r復(fù)雜破壞式結(jié)論帶析取否定后件式前后件均不同破斥錯(cuò)誤的二難推理推理形式評(píng)估前提審查（充分條件存在否？選言支窮盡否？）構(gòu)造相反的二難推理 假言聯(lián)言推理定義：假言命題與聯(lián)言命題構(gòu)成；結(jié)論為聯(lián)言命題形式：肯定式、否定式pqrsprq spqrsqs p r實(shí)際是一次分解式，兩次肯定前件式，一次組合式實(shí)際是一次分解式，兩次否定后件式，一次組合式pr pq rs qp，r p r s q s qsqs pq rs p q，s q s r p r p r 假言易位推理 假言聯(lián)鎖推理（p q） （q p）（p q） （q p） 充分條件假言易位推理 必要條件假言易位推理 充要條件假言易位

45、推理（p q） （q p ）兩個(gè)以上假言命題作前提 充分條件（pq ）（q r ）（p r）（pq）（q r ）（ rp）肯定式否定式 必要條件肯定式否定式（pq）（q r ）（rp）（pq）（q r）（p r） 混合條件肯定式否定式（pq）（q r）（p r）（pq）（q r）（p r） 歸謬推理一個(gè)命題包含邏輯矛盾，則該命題為假?；颍粋€(gè)命題推出p，又推出p的矛盾命題（ p ），則該命題假。（p q ）（p q） p展開 p q，p q，即是p（q q），而（q q）恒假，即 （q q）恒真，恒真命題可作為前提使用，因此就有P （q q） （q q） p 反三段論 如果從若干前提得出一個(gè)結(jié)

46、論的推理是有效的， 那么， 若結(jié)論為假，則一定至少有一前提為假。如果知道其中的一個(gè)前提真，則剩余那個(gè)前提一定為假。三段論： （pq ）r反三段論：（pq ）r） （r p） q ）（pq ）r） （r q） p ）試展開 已知（pq ）r 再假定 r p 則有r ， p（分解式得到）， （pq ）r （pq ） （ pq） r p （pq ） q（pq ）r）（r p） q 不同于 3.7 復(fù)合命題的重言式及重言等值式推理 3.7.1 重言式 真值形式與真值函項(xiàng) 真值形式從自然語言來看邏輯形式，有時(shí)需要考慮真假關(guān)系之外的因素，如支命題之間的相關(guān)性，語句的順序等。如 如果摩擦，則生熱； 明天或者

47、有雨，或者無雨 如果225，那么男人就不是男性； 或者拉登已死，或者明天下雨第組至少是令人奇怪的，因?yàn)閺某ＷR(shí)來看，支命題之間缺少相關(guān)性。 情有可原，理無可?。?理無可恕，情有可原 支命題順序不同，意義不同。但邏輯學(xué)難以對(duì)付諸如相關(guān)性、順序等影響命題真假的因素。邏輯研究撇開邏輯聯(lián)結(jié)詞在自然語言中的非真值意義，僅從復(fù)合命題與支命題之間的真假制約關(guān)系來考慮邏輯聯(lián)結(jié)詞，這樣，邏輯聯(lián)結(jié)詞就成為真值聯(lián)結(jié)詞；命題的邏輯形式也就成為真值形式。真值聯(lián)結(jié)詞真值形式僅僅反映支命題與復(fù)合命題之間的真值關(guān)系的邏輯聯(lián)結(jié)詞僅僅反映支命題與復(fù)合命題之間的真值關(guān)系的命題形式基本真值聯(lián)結(jié)詞 否定 合取 析取 蘊(yùn)涵 等值基本真值形

48、式 真值形式是命題形式的一部分“不但，而且”等不是真值形式。在命題邏輯中，命題形式也就是真值形式。命題形式的定義()任何命題變項(xiàng)是命題形式，如，p，q，p1 ()若A與B是命題形式，則A、AB、AB、AB、AB也是命題形式 （）只有符合()、()的才是命題形式5種基本真值形式 p 否定式 p q 合取式 pq 析取式 pq 蘊(yùn)涵式 pq 等值式 真值函項(xiàng)與函數(shù)類比 函數(shù)講的是數(shù)值關(guān)系，一個(gè)函數(shù)的值依賴于其中變數(shù)的值yf（x），即y的值f（x）由x的取值決定。真值函項(xiàng)講的是真值（真假）關(guān)系，一個(gè)真值形式的值依賴其變項(xiàng)的值，如pq的值，由p和q的值決定。 每一真值形式都是真值函項(xiàng)；真值形式與真值函

49、項(xiàng)的數(shù)目并不一樣多，真值形式的數(shù)目無限，真值函項(xiàng)數(shù)卻是確定的；不同的真值形式，表達(dá)相同的真值函項(xiàng)；真值函項(xiàng)是對(duì)公式中變項(xiàng)的真假組合的真值斷定，變項(xiàng)組合數(shù)2n，對(duì)每一組合有真假兩種斷定，故真值函項(xiàng)數(shù)為22n。當(dāng)n（變項(xiàng)數(shù)）為1時(shí)，其真假組合為2，對(duì)真假組合的斷定有4種可能，即真值函項(xiàng)有4個(gè)；變項(xiàng)數(shù)為2，則真值函項(xiàng)有16個(gè)；變項(xiàng)數(shù)為3，則真值函項(xiàng)為256個(gè)。P f1 f2 f3 f4t t t f ff t f t f真值函項(xiàng)是確定的，但真值形式是無窮的。 f1 永真式（重言式） f4 永假式（矛盾式） f2 f3 可滿足式（可真可假）永真式表達(dá)邏輯規(guī)律，永假式的否定也是永真式，邏輯主要研究重言式

50、 pp p p（pp）pp pp（p）p p p pppp（p p） （pp） 若變項(xiàng)數(shù)為2，則真值函項(xiàng)總數(shù)是16，但其真值函項(xiàng)的種類仍是3類，即重言式、矛盾式和可滿足式： f1 是重言式， f16 是矛盾式， f2 f15是可滿足式 f1 f2 f3 f4p q f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 t t t t t t t t t t f f f f f f f ft f t t t t f f f f t t t t f f f ff t t t f f t t f f t t f f t t f ff f t f

51、 t f t f t f t f t f t f t ff13 f4 的矛盾式 f14 f3 的矛盾式 f15 f2 的矛盾式 f16 f1 的矛盾式 f1 pq p ; p pq ; (pq) (pq) (pq) (pq)等f2 pq ; ( pq) 等 f3 p q ； q p ； pq等 f4 p (q q)；p （qq)等 f5 p q ； pq； q p等 f6 q (p p)；q（pp)等 f7 pq; (p q) ( p q )f8 pq ; ( p q) f9 f8 的矛盾式 f10 f7 的矛盾式 f11 f6 的矛盾式 f12 f5 的矛盾式 隨著變項(xiàng)數(shù)目的增加，函項(xiàng)數(shù)也增

52、加，當(dāng)變項(xiàng)數(shù)目為3時(shí)，函項(xiàng)數(shù)目達(dá)到256個(gè)。但不管函項(xiàng)數(shù)是多少，重言式的函項(xiàng)只是一個(gè)，矛盾式的函項(xiàng)也是一個(gè)，其余均是可滿足式。真值函項(xiàng)有3類，那么，表達(dá)真值函項(xiàng)的真值形式也有3類：重言式（永真式）、矛盾式（永假式）和可滿足式（可真可假式）。當(dāng)然，每一類真值函項(xiàng)包括很多的真值形式，而同一類真值函項(xiàng)的真值形式是等值的。 通過研究真值函項(xiàng)，使我們看到無窮的真值形式中的同一的和本質(zhì)的東西，即不同形式的真值形式（公式）表達(dá)相同的真值函項(xiàng)。而且，可以把紛繁的真值形式加以歸類，因?yàn)橛卸嗌僬嬷岛?xiàng)，就有多少真值形式的類，使邏輯研究集中于規(guī)律性的東西上。邏輯主要研究重言式。 重言式重言式是邏輯真理的表現(xiàn)形式，是

53、關(guān)于復(fù)合命題的邏輯規(guī)律其中的重言蘊(yùn)涵式、重言等值式表達(dá)有效推理常見的重言式（邏輯規(guī)律）3.7.2 命題的真值判定方法 真值表方法 真值表的作用定義作用：5個(gè)基本真值形式的真值表定義了5個(gè)真值形式。如，什么是合取式？回答是，每一支命題為真， 則它為真的 那種真值形 式，這正是 合取式的真 值表反映的 情況。p qpqt tt ff tf f t f f f判定作用：1、判定一個(gè)公式的性質(zhì)（重言 式，矛盾式或可滿足式）；2、判定任意多個(gè)公式的關(guān)系 （等值或矛盾等）；3、判定一個(gè)推理是否有效，即 它是否一個(gè)重言的蘊(yùn)涵式或 等值式。 真值表的作法分解公式。把一復(fù)雜公式分解為支命題和命題變項(xiàng)。如（pq

54、）r） （r p） q ）先找到主聯(lián)結(jié)詞，即最大括號(hào)外的聯(lián)結(jié)詞。蘊(yùn)涵號(hào) 得到（pq ）r）和（r p） q ）再行分解得到pq 和r； r p和q 按變項(xiàng)最簡單公式復(fù)雜公式順序排列p，q，r， q ， r ，pq ， r p， （pq ）r，（r p） q ，最后是總公式（pq ）r） （r p） q ）可以堅(jiān)持一條原則：一公式的支命題在前，該公式在后，因此順序也可排為p，q，r， q ， r ，pq ， （pq ）r， r p ,（r p） q ，只要保證，被判定的公式的支命題在先已經(jīng)賦值即可。然后畫表，先畫一個(gè)偏十字或表格，將分解后的公式成分由簡到繁寫進(jìn)表（pq ）r） （r p） q ）

55、的真值表作法第一步：分解公式，畫表 3個(gè)變項(xiàng)，其真假組合共有238種可能因此有8行；變項(xiàng)有3個(gè)，整個(gè)公式可分解為7部分，共有10列。第二步：由簡到繁填入欲賦值的公式第三步：給變項(xiàng)賦值（技巧：先給最后一個(gè)變項(xiàng)按一真一假賦值，再給第2個(gè)變項(xiàng)按兩真兩假賦值；再給第一個(gè)變項(xiàng)按四真四假賦值）pqrqrpqpqrr pr pq(pq ）r） （r p） qtttfft tf t tttfftt ft f ttfttff tf t ttffttf tt t tfttfff tf t tftfftf t f t tffttff tf t tfffttf tf t t第四步：依次按照5個(gè)基本真值形式的真值表給每

56、個(gè)子公式賦值第五步：根據(jù)真值表中的總公式即最后一列的賦值，對(duì)公式做出判定。此總公式下每一行均為真，故該蘊(yùn)涵式為重言式，即一個(gè)有效推理形式。判定多個(gè)公式的性質(zhì)或關(guān)系pqpqpq （pq）p qp p pqttff tf f t ftfft ft t t tfttf ft t t tfftt ft t t t可以看出： 第5列與第6列取值完全相反，二者為矛盾關(guān)系 第6列與第7列取值完全相同，二者為等值關(guān)系 第6列與第9列取值完全相同，二者為等值關(guān)系 第8列每一行取值均為真，是重言式 1 2 3 4 5 6 7 8 9 簡化的真值表方法（歸謬賦值法） 僅適用于蘊(yùn)涵式是否重言式的判定。蘊(yùn)涵式表達(dá)一個(gè)推

57、理形式，因此也是一種判定復(fù)合命題推理是否有效的方法。由于其他的公式可以轉(zhuǎn)換成蘊(yùn)涵式，所以，這是一種有一定普遍性的方法。 原理：一個(gè)公式或真或假；否定一個(gè)矛盾式，就得到一個(gè)重言式；否定一個(gè)重言式，就得到一個(gè)矛盾式；假設(shè)一個(gè)公式為假，如果至少一個(gè)變項(xiàng)的賦值必定出現(xiàn)矛盾（既賦真，又賦假），則表明原來的假設(shè)是錯(cuò)誤的，否定假，就得到真，即原公式是重言式。 步驟：1、寫出被判定公式的橫式（如有必要將其轉(zhuǎn)換成蘊(yùn)涵式）；2、假設(shè)該蘊(yùn)涵式為假；3、依次按照基本真值形式的定義，給每一變項(xiàng)賦值；4、看得到賦值后的任一變項(xiàng)是否必然矛盾；5、若至少有一變項(xiàng)的賦值必然矛盾，則原公式是重言式，它表達(dá)的推理是有效的；否則不是

58、重言式，相應(yīng)的推理是無效的。第一步：（p q） q） p（p q） q） p F第二步：假設(shè)蘊(yùn)涵式為假（p q） q） p第三步：給變項(xiàng)賦值 (1) (2) (3) T F F（p q） q） p（p q） q） p F T F T T F F F T（p q） q） pF或者另一種可能 T T T T T F F F T第四步：判定。變項(xiàng)p的賦值矛盾，所以該公式是重言式，對(duì)應(yīng)的推理是有效的。 （p q ） r） （ r p） q ）變項(xiàng)q的賦值必然出現(xiàn)矛盾，故該蘊(yùn)涵式（推理）是有效的。若使得q不出現(xiàn)矛盾，則p必定出現(xiàn)矛盾；若使p、q不出現(xiàn)矛盾，則r必定矛盾?？傊齻€(gè)變項(xiàng)必有一個(gè)出現(xiàn)矛盾，因

59、此，賦值后變項(xiàng)出現(xiàn)矛盾是必然的。1 F2 T F 3 T F 4 T T T5 F F6 T F F3.8 命題的自然推理 自然推理系統(tǒng)的構(gòu)成 初始符號(hào)命題變項(xiàng)符號(hào)p，q，r，p1，p2，pn5個(gè)基本真值聯(lián)結(jié)詞 形成規(guī)則 推理規(guī)則10條 建立證明的規(guī)則從給定的前提或假設(shè)出發(fā)，運(yùn)用推理規(guī)則，得到所要求的結(jié)論。在這一過程中，除了用到上述東西而外，再無其他東西。 ()任何命題變項(xiàng)是命題形式，如，p，q，p1 ()若A與B是命題形式，則A、AB、AB、 AB、AB也是命題形式 （）只有符合()、()的才是命題形式 推理規(guī)則B（5）合取消去律 _ AB AB A B（6）析取引入律 A B AB AB（

60、7）析取消去律 A B AB C C C（1）重現(xiàn)律 A A（2）蘊(yùn)涵消去律 _ A, AB B（3）蘊(yùn)涵引入律+ A AB（4）合取引入律+ A，B AB（8）否定引入律 A B B A（9）否定消去律 A A（10）等值引入律 A B B A AB例11. p q 2. q r / p r 3. P AP4. q 1,3 _5. r 2,4 _6. pr 3,5 + 例2例3 p q 2. r s 3. pr / qs 4. P AP5.q 1,4 _6. qs 5, +7. r AP8. s 2,7 _9. qs 8,+ 10. qs 3, 9 _ 1. p q 2. q / p 3.