離散數(shù)學數(shù)理邏輯

離散數(shù)學數(shù)理邏輯1第一頁，共八十六頁，編輯于2023年，星期一教材與參考資料教材：《離散數(shù)學》（第2版），屈婉玲、耿素云、張立昂編，清華大學出版社參考資料：《離散數(shù)學》，劉玉珍、劉詠梅編，武漢大學出版社《DiscreteMathematicalStructures》(SixthEdition)，

BernardKolman,FobertC.BusbyandSharonRoss，高等教育出版社有影印版、譯本《DiscreteMathematicsandItsApplications》(SixthEdition)，[美]KennethH.Rosen，機械工業(yè)出版社影印版、譯本2第二頁，共八十六頁，編輯于2023年，星期一課程主要內(nèi)容數(shù)理邏輯集合論圖論代數(shù)系統(tǒng)*3第三頁，共八十六頁，編輯于2023年，星期一目的、意義和要求研究內(nèi)容：離散量的結構及其相互間的關系。意義：計算機科學的理論基礎。目的：打基礎必備的數(shù)學知識培養(yǎng)抽象思維能力、邏輯推理能力教學內(nèi)容：第1-7章重點第9、14章備選第8、11章自學第10、12、13章不要求

4第四頁，共八十六頁，編輯于2023年，星期一學習要求1、課堂要求：按時上課認真聽講2、課外要求：復習(每次課后，安排半個小時)

認真、按時完成作業(yè)(每次課后，安排1個小時)5第五頁，共八十六頁，編輯于2023年，星期一學習考查方法1、出勤率：10%不定期檢查出勤情況2、作業(yè)完成情況：10%對作業(yè)完成情況進行登記3、課堂測驗+期中考試：20%共5次4、期末考試（閉卷）：60%6第六頁，共八十六頁，編輯于2023年，星期一第一篇數(shù)理邏輯

第1章導論數(shù)理邏輯的概念數(shù)理邏輯的發(fā)展簡史數(shù)理邏輯的地位和作用7第七頁，共八十六頁，編輯于2023年，星期一（1）定義§1.1數(shù)理邏輯的概念數(shù)理邏輯是采用數(shù)學方法研究抽象思維推理規(guī)律（形式推理）的一門科學。命題邏輯是數(shù)理邏輯的基本組成部分之一推理的基本要素是命題把命題作為基本單位來分析符號化研究公式間的關系

推導、演算

8第八頁，共八十六頁，編輯于2023年，星期一（2）方法

引入一套數(shù)學符號系統(tǒng)來進行研究，強調(diào)推理過程中前提和結論之間的形式關系。例：A、B、C、D4人做百米競賽，觀眾甲、乙、丙預報比賽結果的名次為： 甲：C第一，B第二 乙：C第二，D第三 丙：A第二，D第四比賽結束后發(fā)現(xiàn)甲乙丙每人報告的情況都各對一半，試問實際名次如何？1.引入pi,qi,ri,si分別表示“A排名第i，B排名第i，C排名第i，D排名第i”2.給出個命題之間的關系

（1）(r1∧┐q2)∨(┐r1

∧q2)1

（2）(r2∧┐s3)∨(┐r2

∧s3)1（3）(p2∧┐s4)∨(┐p2

∧s4)13.通過演算規(guī)則，得出結果9第九頁，共八十六頁，編輯于2023年，星期一（3）內(nèi)容謂詞邏輯命題邏輯10第十頁，共八十六頁，編輯于2023年，星期一（4）分支模型論證明論公理集合論遞歸論11第十一頁，共八十六頁，編輯于2023年，星期一§1.2數(shù)理邏輯的發(fā)展簡史創(chuàng)立階段起源階段完善階段

發(fā)展歷史12第十二頁，共八十六頁，編輯于2023年，星期一起源階段

德國數(shù)學家、哲學家G.Leibniz（1646~1716），提出建立一種普遍的符號語言，利用符號語言進行思維演算的設想。13第十三頁，共八十六頁，編輯于2023年，星期一創(chuàng)立階段英國數(shù)學家G.Bool于1847年發(fā)表《邏輯的數(shù)學分析》，創(chuàng)建一套表示邏輯推理的基本符號以及符號的運算規(guī)律，建立了布爾代數(shù)。德國數(shù)學家G.Frege于1879年在《概念的演算》一書中引進謂詞符號和量詞符號，創(chuàng)建第一個比較嚴格的邏輯演算系統(tǒng)。14第十四頁，共八十六頁，編輯于2023年，星期一完善階段英國邏輯學家A.N.Witehead和B.Russel于1910將當時的數(shù)理邏輯寫入了《數(shù)學原理》中，使數(shù)理邏輯成為了一門專門的學科。

20世紀30年代，由于眾多科學家的努力，衍生出許多新的分支，如：直覺主義邏輯、多值邏輯、組合邏輯等。15第十五頁，共八十六頁，編輯于2023年，星期一§1.3數(shù)理邏輯的地位和作用1、計算機科學的重要的理論基礎之一；2、對數(shù)學、計算機科學、人工智能、語言學、控制論等諸多學科產(chǎn)生深遠的影響。3、在計算機科學中的應用：軟件、硬件設計16第十六頁，共八十六頁，編輯于2023年，星期一第2章命題邏輯2.1命題邏輯基本概念

2.2命題邏輯等值演算

2.3范式2.4命題邏輯推理理論

17第十七頁，共八十六頁，編輯于2023年，星期一2.1

命題邏輯基本概念

2.1.1命題與聯(lián)結詞命題與真值(簡單命題,復合命題)聯(lián)結詞(?,,,,)

2.2.2命題公式及其分類命題公式及其賦值真值表命題公式的分類

18第十八頁，共八十六頁，編輯于2023年，星期一§2.1.1命題與聯(lián)結詞1、命題及相關概念（1）命題的定義兩者必居其一且只居其一——二值邏輯命題定義的理解：從兩個方面把握這個概念（1）陳述句；（2）真值唯一性（注意：真值可能目前還不知道答案）。命題：一個具有真假意義的陳述句。什么是真值：只包含真/假兩個值的量。T/1—真F/0—假19第十九頁，共八十六頁，編輯于2023年，星期一注意：（1）感嘆句、祈使句、疑問句都不是命題（2）陳述句中的悖論以及判斷結果不唯一確定的也不是命題20第二十頁，共八十六頁，編輯于2023年，星期一中國的首都在北京。1+1=10請開門！x+y=1明年10月1日是晴天。本命題是假的。李紅既學英語又學日語。例1判斷下列個自然語言是否是命題21第二十一頁，共八十六頁，編輯于2023年，星期一（2）幾個基本概念真命題與假命題命題變元與命題常元真命題:真值為真的命題假命題:真值為假的命題若p即可以表示真命題，又可以表示假命題，則稱p為命題變元。T永遠表示真命題，F(xiàn)表示假命題，稱T和F為命題常元。22第二十二頁，共八十六頁，編輯于2023年，星期一例2真命題假命題真值不確定疑問句感嘆句祈使句悖論(1),(2),(5)是命題,(3),(4),(6)~(8)都不是命題真值確定,但未知

下列句子中哪些是命題？并指出命題的真值。(1)北京是中華人民共和國的首都.(2)2+5＝8.(3)x+5＞3.(4)你會開車嗎？(5)2050年元旦北京是晴天.(6)這只兔子跑得真快呀！(7)請關上門！(8)我正在說謊話.23第二十三頁，共八十六頁，編輯于2023年，星期一（1）簡單命題與復合命題（2）聯(lián)結詞的定義（3）聯(lián)結詞的優(yōu)先級2.聯(lián)接詞24第二十四頁，共八十六頁，編輯于2023年，星期一（1）簡單命題與復合命題簡單命題(原子命題):簡單陳述句構成的命題。簡單命題的符號化:用p,q,r,…,pi,qi,ri(i≥1)表示用“1”表示真，用“0”表示假復合命題:由簡單命題通過聯(lián)結詞聯(lián)結而成的陳述句。

例如如果明天天氣好,我們就出去郊游設p:明天天氣好,q:我們出去郊游,如果p,則q

又如張三一面喝茶一面看報設p:張三喝茶,q:張三看報,p并且q25第二十五頁，共八十六頁，編輯于2023年，星期一（2）聯(lián)結詞的定義否定詞（┐）定義2.1設p為命題，復合命題“非p”(或“p的否定”)稱為p的否定式，記作p，符號稱作否定聯(lián)結詞,并規(guī)定p為真當且僅當p為假。例如p:2是合數(shù),p:2不是合數(shù)。p為假,p為真。26第二十六頁，共八十六頁，編輯于2023年，星期一合取詞（∧

）定義2.2設p,q為二命題,復合命題“p并且q”(或“p與q”)稱為p與q的合取式,記作p∧q,∧稱作合取聯(lián)結詞,并規(guī)定

p∧q為真當且僅當p與q同時為真.例如p:2是偶數(shù),q:2是素數(shù),p∧q:表示的含義是2是偶素數(shù)。

因為p為真,q也為真，所以p∧q為真。27第二十七頁，共八十六頁，編輯于2023年，星期一例3

將下列命題符號化.解：記p:王曉用功,q:王曉聰明(1)p∧q(2)p∧q(3)q∧p(4)記r:張輝是三好生,s:王麗是三好生,r∧s(5)簡單命題,記

t:張輝與王麗是同學(1)王曉既用功又聰明.(2)王曉不僅聰明，而且用功.(3)王曉雖然聰明，但不用功.(4)張輝與王麗都是三好生.(5)張輝與王麗是同學.28第二十八頁，共八十六頁，編輯于2023年，星期一析取詞（∨）定義2.3設p、q為命題，復合命題“p或q”稱作p與q的析取式，記作p∨q,∨稱作析取聯(lián)結詞,并規(guī)定p∨q為假當且僅當p與q同時為假。例如張三和李四至少有一人會英語設p:張三會英語,q:李四會英語,符號化為p∨q。29第二十九頁，共八十六頁，編輯于2023年，星期一相容或與排斥或析取詞表示的是相容或，即p

和q

均為真時(p∨q)亦為真，而與之對應的還有一個是排斥或，它表示的含義是p

和q

不能同時為真。例如這件事由張三和李四中的一人去做設p:張三做這件事,q:李四做這件事應符號化為(p∧

q)∨(p∧q)30第三十頁，共八十六頁，編輯于2023年，星期一例4

將下列命題符號化，并指出其真值解：記p:2是素數(shù),q:3是素數(shù),r:4是素數(shù),s:6是素數(shù)(1)p∨r,(2)

p∨q,(3)r∨s,(4)記t:元元拿一個蘋果,u:元元拿一個梨真值:1真值:1真值:0(t∧u)∨(t∧u)(5)記v:王曉紅生于1975年,w:王曉紅生于1976年(v∧w)∨(v∧w)又可形式化為v∨w(1)2或4是素數(shù).(2)2或3是素數(shù).(3)4或6是素數(shù).(4)元元只能拿一個蘋果或一個梨.(5)王曉紅生于1975年或1976年.31第三十一頁，共八十六頁，編輯于2023年，星期一蘊涵詞（）定義2.4設p,q為二命題,復合命題“如果p,則q”稱作p與q的蘊涵式,記作pq,并稱p是蘊涵式的前件,q為蘊涵式的后件.稱作蘊涵聯(lián)結詞,并規(guī)定,pq為假當且僅當p為真且q為假.例如如果明天天氣好,我們就出去郊游設p:明天天氣好,q:我們出去郊游,形式化為pq32第三十二頁，共八十六頁，編輯于2023年，星期一蘊涵詞的其它表述方式pq的邏輯關系:q為p的必要條件,p為q的充分條件?！叭绻鹥,則q”的多種表述方式：若p,就q

只要p,就qp僅當q

只有q

才p除非q,才p

除非q,否則非p當p為假時，pq為真(不管q為真,還是為假)33第三十三頁，共八十六頁，編輯于2023年，星期一例5

設p:天冷,q:小王穿羽絨服，將下列命題符號化

注意：

pq與qp

等值（真值相同）pqpqqp或pqpqqp

qppq或qpqp(1)只要天冷，小王就穿羽絨服.(2)因為天冷，所以小王穿羽絨服.(3)若小王不穿羽絨服，則天不冷.(4)只有天冷，小王才穿羽絨服.(5)除非天冷，小王才穿羽絨服.(6)除非小王穿羽絨服，否則天不冷.(7)如果天不冷，則小王不穿羽絨服.(8)小王穿羽絨服僅當天冷的時候.34第三十四頁，共八十六頁，編輯于2023年，星期一等價詞（）定義2.5設p,q為命題,復合命題“p當且僅當q”稱作p與q的等價式,記作pq,稱作等價聯(lián)結詞.并規(guī)定pq為真當且僅當p與q同時為真或同時為假。

pq的邏輯關系:p與q互為充分必要條件例如這件事張三能做好,且只有張三能做好設p:張三做這件事,q:這件事做好了形式化為:pq35第三十五頁，共八十六頁，編輯于2023年，星期一例6

求下列復合命題的真值：1011(1)2+2＝4當且僅當3+3＝6.(2)2+2＝4當且僅當3是偶數(shù).(3)2+2＝4當且僅當太陽從東方升起.(4)2+2＝5當且僅當美國位于非洲.36第三十六頁，共八十六頁，編輯于2023年，星期一分析找出簡單命題用字母表示簡單命題用聯(lián)接詞聯(lián)接命題符號命題符號化的一般規(guī)則37第三十七頁，共八十六頁，編輯于2023年，星期一分析找出簡單命題用字母表示簡單命題用聯(lián)接詞聯(lián)接命題符號解令p:我上街

q:我累

r:我去書店看看則可符號化為：（pq)r例7

將下列命題符號化：如果我上街并且我不累，我就去書店看看。簡單命題：我上街。我累。我去書店看看。38第三十八頁，共八十六頁，編輯于2023年，星期一例8試將下列命題符號化：如果你不看電影，那么我也不看電影小王一邊吃飯，一邊看書解:（1）設p：你看電影，q：我看電影，則：

p

q（2）設p：小王吃飯，q：小王看書，則：

pq39第三十九頁，共八十六頁，編輯于2023年，星期一（3）聯(lián)結詞的優(yōu)先級聯(lián)結詞優(yōu)先級:(),,,,,同級按從左到右的順序進行40第四十頁，共八十六頁，編輯于2023年，星期一1、分析下列各命題的真值（1）2+2=4當且僅當3是奇數(shù)（2）2+2=4當且僅當3不是奇數(shù)（3）2+2≠4當且僅當3是奇數(shù)（4）2+2≠4當且僅當3不是奇數(shù)2、將下列命題符號化（1）小王是游泳冠軍或者百米賽跑冠軍（2）小王現(xiàn)在在宿舍或者在圖書館（3）選小王或者小李中的一人當班長（4）如果我上街，我就去書店看看，除非我很累課堂練習（1）41第四十一頁，共八十六頁，編輯于2023年，星期一課堂練習（2）3、將下列命題符號化（1）李平既聰明又用功（2）李平雖然聰明，但不用功（3）李平不但聰明，而且用功（4）李平不是不聰明，而是不用功4、將下列命題符號化（1）只要不下雨，我就騎自行車上班（2）只有不下雨，我才騎自行車上班（3）若2+2=4，則太陽從東方升起（4）若2+2≠4,則太陽從東方升起42第四十二頁，共八十六頁，編輯于2023年，星期一§2.1.2合式公式及其分類1.命題語言的字母表：2.合式公式的基本概念3.真值表4.合式公式的分類43第四十三頁，共八十六頁，編輯于2023年，星期一1.命題語言的字母表命題語言的字母表：命題常元：T,F(或1，0)命題變元：p1,p2,…,pn聯(lián)接詞：┐，∧，∨，→，輔助符號：（）44第四十四頁，共八十六頁，編輯于2023年，星期一（1）合式公式(命題公式,公式)的定義定義2.6

合式公式遞歸定義如下：(1)單個命題常項或變項是合式公式，并稱作原子合式公式；(2)若A是合式公式,則(A)也是合式公式；(3)若A,B是合式公式,則(AB),(AB),(AB),(AB)也是合式公式；(4)只有有限次地應用(1)~(3)形成的符號串才是合式公式。2、合式公式的基本概念說明:(1)元語言符號與對象語言符號(2)在不影響運算順序時,括號可以省去例如0,p,pq,(pq)(pr),pqr,(pq)r45第四十五頁，共八十六頁，編輯于2023年，星期一（2）合式公式的層次定義2.7(1)單個命題變項或命題常項是0層公式(2)稱A是n+1(n≥0)層公式是指下面情況之一：(a)A=B,B是n層公式(b)A=BC,其中B,C分別為i層和j層公式,且

n=max(i,j)(c)A=BC,其中B,C的層次及n同(b)(d)A=BC,其中B,C的層次及n同(b)(e)A=BC,其中B,C的層次及n同(b)例如

p0層

p1層

pq2層(pq)r3層

((pq)r)(rs)4層46第四十六頁，共八十六頁，編輯于2023年，星期一（3）公式的賦值定義2.8設p1,p2,…,pn是出現(xiàn)在公式A中全部的命題變項，給p1,p2,…,pn指定一組真值，稱為對A的一個賦值或解釋。使公式為真的賦值稱作成真賦值,使公式為假的賦值稱作成假賦值。說明:(1)賦值記作=12…n，其中i=0或1，諸i之間不加標點符號；(2)通常賦值與命題變項之間按下標或字母順序對應,即：當A的全部命題變項為p1,p2,…,pn時,給A賦值12…n是指p1=1,p2=2,…,pn=n;當A的全部命題變項為p,q,r,…時,給A賦值123…是指p=1,q=2,r=3,…47第四十七頁，共八十六頁，編輯于2023年，星期一實例例8

公式A=(

p1

p2p3)(p1

p2)000是成真賦值,001是成假賦值公式B=(pq)r000是成假賦值,001是成真賦值48第四十八頁，共八十六頁，編輯于2023年，星期一3、真值表真值表:命題公式在所有可能的賦值下的取值的列表。含n個變項的公式有2n個賦值用0或1表示公式中命題變元的取值，并依據(jù)聯(lián)結詞的邏輯規(guī)則計算出復合命題（公式）的真值，用一個對應表表示的一種方法。49第四十九頁，共八十六頁，編輯于2023年，星期一基本復合命題真值表匯總

pq

pp∧qp∨qpqpq001001101101101000100110111150第五十頁，共八十六頁，編輯于2023年，星期一pqqp

(qp)q

(qp)qp

00011011

1011

0001

1111例9

給出公式的真值表(1)

(qp)qp；(2)(pq)q；

(3)(pq)r.例951第五十一頁，共八十六頁，編輯于2023年，星期一pqppq(pq)(pq)q00011011

1100110100100000(2)(pq)q52第五十二頁，共八十六頁，編輯于2023年，星期一pqrpq

r

(pq)r

000001010011100101110111

00111111

10101010

11101010(3)(pq)r53第五十三頁，共八十六頁，編輯于2023年，星期一4、命題公式的分類重言式(永真式):無成假賦值的命題公式矛盾式(永假式):無成真賦值的命題公式可滿足式:非矛盾式的命題公式注意:重言式是可滿足式，但反之不真.例如上例中(1)(qp)qp為重言式(2)(pq)q為矛盾式(3)(pq)r為非重言式的可滿足式54第五十四頁，共八十六頁，編輯于2023年，星期一2、判斷下列命題公式的類型（1）（2）課堂練習1、構造下列命題公式的真值表（1）（2）55第五十五頁，共八十六頁，編輯于2023年，星期一2.2命題邏輯等值演算2.2.1等值式與等值演算等值式基本等值式等值演算2.2.2聯(lián)結詞完備集真值函數(shù)聯(lián)結詞完備集與非聯(lián)結詞和或非聯(lián)結詞56第五十六頁，共八十六頁，編輯于2023年，星期一§2.2.1等值式與等值演算1、等值式的定義定義2.11

若等價式AB是永真式,則稱A與B等值,記作AB,并稱AB是等值式。57第五十七頁，共八十六頁，編輯于2023年，星期一(1)是元語言符號,不要混同于和=。(2)A與B等值當且僅當A與B在所有可能賦值下的真值都相同,即A與B有相同的真值表。(3)可能有啞元出現(xiàn).在B中出現(xiàn),但不在A中出現(xiàn)的命題變項稱作A的啞元.同樣,在A中出現(xiàn),但不在B中出現(xiàn)的命題變項稱作B的啞元.啞元的值不影響命題公式的真值。說明58第五十八頁，共八十六頁，編輯于2023年，星期一2、性質(1)AA(2)若AB，則B

A(3)若AB且B

C，則A

C59第五十九頁，共八十六頁，編輯于2023年，星期一3、真值表法判斷公式是否等值結論:(pq)(pq)

pqpqpq(pq)pq(pq)(pq)00110111011010011001100111001001例1

判斷(pq)與

pq

是否等值解60第六十頁，共八十六頁，編輯于2023年，星期一

pqrp(qr)(pq)r(pq)r000101001111010101011111100111101111110000111111p(qr)與(pq)r等值,但與(pq)r不等值例2判斷下述3個公式之間的等值關系:

p(qr),(pq)r,(pq)r解61第六十一頁，共八十六頁，編輯于2023年，星期一4、基本等值式（1）雙重否定律：（2）等冪律：62第六十二頁，共八十六頁，編輯于2023年，星期一（3）交換律：（4）結合律：（5）分配律：（6）德·摩根定律：63第六十三頁，共八十六頁，編輯于2023年，星期一（7）吸收律：（8）蘊含等值式：（9）等價等值式：64第六十四頁，共八十六頁，編輯于2023年，星期一（10）零律：（11）同一律：（12）排中律：65第六十五頁，共八十六頁，編輯于2023年，星期一（13）矛盾律：（14）等價否定等值式：（15）歸謬律：（16）假言易位：66第六十六頁，共八十六頁，編輯于2023年，星期一

(1)代入規(guī)則

代入規(guī)則：對于重言式中的任一命題變元出現(xiàn)的每一處均用同一命題公式代入，得到的仍是重言式。例如F=（pq）?（qp）是重言式，若用公式r∧s代換命題變元p得公式

F1=（（r∧s）q）?（q（r∧s）），F(xiàn)1仍是重言式。注意：因為AB當且僅當A?B是重言式。所以，若對于等值式中的任一命題變元出現(xiàn)的每一處均用同一命題公式代入，則得到的仍是等值式。5、等值演算67第六十七頁，共八十六頁，編輯于2023年，星期一(2)

置換規(guī)則

例如設公式A=（P∨Q）（（PQ）∨（R∧S））。

則P∨Q，PQ，（PQ）∨（R∧S）等均是A的子公式，

置換規(guī)則：設C是公式A的子公式，CD。如果將公式A中的子公式C置換成公式D之后，得到的公式是B，則AB。

子公式：設C是命題公式A的一部分（即C是公式A中連續(xù)的幾個符號），且C本身也是一個命題公式，則稱C為公式A的子公式。

68第六十八頁，共八十六頁，編輯于2023年，星期一(3)

等值演算

等值演算是指利用已知的一些等值式，根據(jù)置換規(guī)則、代入規(guī)則以及等值關系的可傳遞性推導出另外一些等值式的過程。例3證明p(qr)(pq)r證p(qr)p(qr)（蘊涵等值式）(pq)r（結合律）(pq)r（德摩根律）(pq)r（蘊涵等值式）69第六十九頁，共八十六頁，編輯于2023年，星期一

例4：證明（┐A→┐B)→(B→A)是永真式。證明:∵(┐A→┐B)→(B→A)蘊涵等值式┐(┐┐A∨┐B)∨(┐B∨A)德·摩根律、雙重否定律(┐A∧B)∨(┐B∨A)分配律(┐A∨┐B∨A)∧(B∨┐B∨A)交換律、結合律、補余律

T

∴（┐A→┐B)→(B→A)是永真式70第七十頁，共八十六頁，編輯于2023年，星期一（同一律）（排中律）（分配律）證明

例5證：71第七十一頁，共八十六頁，編輯于2023年，星期一例6

用等值演算法判斷下列公式的類型(1)q(pq)

解q(pq)

q(pq)（蘊涵等值式）

q(pq)（德摩根律）

p(qq)（交換律，結合律）

p0（矛盾律）

0（零律）該式為矛盾式.72第七十二頁，共八十六頁，編輯于2023年，星期一例6(續(xù))(2)(pq)(qp)解

(pq)(qp)

(pq)(qp)（蘊涵等值式）

(pq)(pq)（交換律）

1該式為重言式.73第七十三頁，共八十六頁，編輯于2023年，星期一例6(續(xù))(3)((pq)(pq))r)解((pq)(pq))r)

(p(qq))r

（分配律）

p1r

（排中律）

pr

（同一律）非重言式的可滿足式.如101是它的成真賦值,000是它的成假賦值.總結:A為矛盾式當且僅當A0;A為重言式當且僅當A1說明:演算步驟不惟一,應盡量使演算短些74第七十四頁，共八十六頁，編輯于2023年，星期一例7：應用題某勘探隊有3名隊員，有一天取得一塊礦樣，3人的判斷如下：甲說：這不是鐵，也不是銅乙說：這不是鐵，是錫丙說：這不是錫，是鐵經(jīng)過實驗鑒定后發(fā)現(xiàn)，其中一人2個判斷都是正確的，一人判斷對了一半，另外一個人全錯了。根據(jù)以上情況判斷礦樣的種類。75第七十五頁，共八十六頁，編輯于2023年，星期一解：設p：礦樣為鐵，q：礦樣為銅，r：礦樣為錫，則可得：76第七十六頁，共八十六頁，編輯于2023年，星期一77第七十七頁，共八十六頁，編輯于2023年，星期一78第七十八頁，共八十六頁，編輯于2023年，星期一等值演算不能直接證明兩個公式不等值.證明兩個公式不等值的基本思想是找到一個賦值使一個成真,另一個成假.例8

證明:p(qr)(pq)r方法一真值表法方法二觀察法.容易看出000使左邊成真,使右邊成假.方法三先用等值演算化簡公式,再觀察.79第七十九頁，共八十六頁，編輯于2023年，星期一2、證明3、證明是永真式。課堂練習1、證明用等值演算證明：80第八十頁，共八十六頁，編輯于2023年，星期一§2.2.2聯(lián)結詞完備集1、真值函數(shù)n元真值函數(shù)共有個每一個命題公式對應于一個真值函數(shù)每一個真值函數(shù)對應無窮多個命題公式1元真值函數(shù)

p

00011