趙洪鑾離散數(shù)學(xué)第一章13節(jié)

1、離散數(shù)學(xué)離散數(shù)學(xué)1第一篇第一篇 數(shù)理邏輯數(shù)理邏輯 邏輯學(xué)：邏輯學(xué)：研究思維形式及思維規(guī)律的科學(xué)研究思維形式及思維規(guī)律的科學(xué) 思維的形式結(jié)構(gòu)思維的形式結(jié)構(gòu)包括包括 概念概念 判斷判斷 推理推理先看下面一道推理題：先看下面一道推理題： 如果我學(xué)習(xí)，那么我的離散數(shù)學(xué)不會(huì)不及格。如果我學(xué)習(xí)，那么我的離散數(shù)學(xué)不會(huì)不及格。 如果我不熱衷于玩撲克，那么我將學(xué)習(xí)。如果我不熱衷于玩撲克，那么我將學(xué)習(xí)。 但我離散數(shù)學(xué)不及格。但我離散數(shù)學(xué)不及格。 因此我熱衷于玩撲克。因此我熱衷于玩撲克。離散數(shù)學(xué)離散數(shù)學(xué)2 請(qǐng)問這個(gè)人說(shuō)得對(duì)嗎？他是怎么推導(dǎo)出來(lái)的呢？請(qǐng)問這個(gè)人說(shuō)得對(duì)嗎？他是怎么推導(dǎo)出來(lái)的呢？ 要回答這樣的問題，實(shí)際上

2、就是看由一些諸如要回答這樣的問題，實(shí)際上就是看由一些諸如“離散數(shù)離散數(shù)學(xué)不及格學(xué)不及格”這樣的前提能否推出這樣的前提能否推出“熱衷于玩撲克熱衷于玩撲克”這樣的這樣的結(jié)論來(lái)。這又需要經(jīng)歷如下過(guò)程：結(jié)論來(lái)。這又需要經(jīng)歷如下過(guò)程： (1) 什么是前提？有哪些前提？什么是前提？有哪些前提？ (2) 結(jié)論是什么？結(jié)論是什么？ (3) 根據(jù)什么進(jìn)行推理？根據(jù)什么進(jìn)行推理？ (4) 怎么進(jìn)行推理？怎么進(jìn)行推理？ 離散數(shù)學(xué)離散數(shù)學(xué)3n數(shù)理邏輯數(shù)理邏輯 用數(shù)學(xué)的方法來(lái)研究推理的規(guī)律統(tǒng)稱數(shù)理邏輯。用數(shù)學(xué)的方法來(lái)研究推理的規(guī)律統(tǒng)稱數(shù)理邏輯。n為什么研究數(shù)理邏輯為什么研究數(shù)理邏輯 程序程序=算法算法+數(shù)據(jù)數(shù)據(jù) 算法算

3、法=邏輯邏輯+控制控制數(shù)理邏輯是數(shù)理邏輯是用數(shù)學(xué)方法即通過(guò)引入表意符號(hào)研究用數(shù)學(xué)方法即通過(guò)引入表意符號(hào)研究推理的學(xué)問推理的學(xué)問。因此，數(shù)理邏輯又名為符號(hào)邏輯。因此，數(shù)理邏輯又名為符號(hào)邏輯。離散數(shù)學(xué)離散數(shù)學(xué)4第一章第一章 命題邏輯命題邏輯n命題邏輯，也稱命題演算，記為命題邏輯，也稱命題演算，記為ls。研。研究由命題為基本單位構(gòu)成的前提和結(jié)論究由命題為基本單位構(gòu)成的前提和結(jié)論之間的可推導(dǎo)關(guān)系。之間的可推導(dǎo)關(guān)系。n它與謂詞邏輯構(gòu)成數(shù)理邏輯的基礎(chǔ)，而它與謂詞邏輯構(gòu)成數(shù)理邏輯的基礎(chǔ)，而命題邏輯又是謂詞邏輯的基礎(chǔ)。命題邏輯又是謂詞邏輯的基礎(chǔ)。離散數(shù)學(xué)離散數(shù)學(xué)5本次課內(nèi)容：本次課內(nèi)容：命題，邏輯聯(lián)結(jié)詞，命題

4、符號(hào)化命題，邏輯聯(lián)結(jié)詞，命題符號(hào)化 (1)掌握命題概念掌握命題概念 (2)掌握聯(lián)結(jié)詞含義及真值表掌握聯(lián)結(jié)詞含義及真值表 (3)掌握命題符號(hào)化方法掌握命題符號(hào)化方法 本次課重點(diǎn)：本次課重點(diǎn)：離散數(shù)學(xué)離散數(shù)學(xué)61-1 命題及其表示方法命題及其表示方法內(nèi)容：內(nèi)容：命題命題重點(diǎn)：重點(diǎn)：掌握命題概念掌握命題概念 離散數(shù)學(xué)離散數(shù)學(xué)7一一.基本概念基本概念 命題：命題：具有具有確定真值的陳述句。確定真值的陳述句。 or 真值客觀存在且唯一真值客觀存在且唯一 or 能區(qū)分真假能區(qū)分真假可以看出：可以看出： （1）一個(gè)命題，總是具有一個(gè)一個(gè)命題，總是具有一個(gè)“值值”，稱為真，稱為真值。值。命真命真真命題：真值為

5、真真命題：真值為真(t，1)的命題。的命題。 假命題：真值為假假命題：真值為假(f，0)的命題。的命題。離散數(shù)學(xué)離散數(shù)學(xué)8（2）判斷命題規(guī)則：）判斷命題規(guī)則：只有具有只有具有確定真值確定真值的的陳述句陳述句才是命題，感嘆句，疑才是命題，感嘆句，疑問句，祈使句等都不是命題。問句，祈使句等都不是命題。 真值必須真值必須唯一唯一，與是否知道其真值無(wú)關(guān)與是否知道其真值無(wú)關(guān)。 （3）判斷命題的兩個(gè)步驟）判斷命題的兩個(gè)步驟： 1、是否為陳述句；、是否為陳述句； 2、是否有確定的、唯一的真值。、是否有確定的、唯一的真值。離散數(shù)學(xué)離散數(shù)學(xué)9 1、100是自然數(shù)。是自然數(shù)。2、這周四是否開會(huì)？、這周四是否開會(huì)？

6、3、11011104、how do you do ?5、別的星球上有生物。、別的星球上有生物。 6、2010年國(guó)慶是晴天。年國(guó)慶是晴天。7、x+398、我正在說(shuō)謊。、我正在說(shuō)謊。9、全體立正！、全體立正！ 10、離散數(shù)學(xué)是我們的基礎(chǔ)必修課。、離散數(shù)學(xué)是我們的基礎(chǔ)必修課。 11、我學(xué)英語(yǔ)，或者我學(xué)日語(yǔ)。、我學(xué)英語(yǔ)，或者我學(xué)日語(yǔ)。 12、 只有天下大雨，他才乘車去上班。只有天下大雨，他才乘車去上班。例例：判斷下列句子是否為命題：判斷下列句子是否為命題是是不是不是不是不是不是不是是是是是離散數(shù)學(xué)離散數(shù)學(xué)10 （2）（）（4）（）（9）不是命題。（）不是命題。（3）在十進(jìn)）在十進(jìn)制中為假，二進(jìn)制中為真

7、，不能確定其真值。制中為假，二進(jìn)制中為真，不能確定其真值。不是命題。（不是命題。（7）根據(jù)）根據(jù)x的值而定，無(wú)唯一真值，的值而定，無(wú)唯一真值，不是命題。不是命題。 （5）（）（6）目前無(wú)法確定，但從事物的本）目前無(wú)法確定，但從事物的本質(zhì)而言，它本身是有真假可言的，即客觀存在質(zhì)而言，它本身是有真假可言的，即客觀存在且唯一，為命題。無(wú)法確定真值；且唯一，為命題。無(wú)法確定真值； （8）是悖論。）是悖論。 所以所以，（，（1）（）（5） （6） （10）（）（11）（12）是命題。）是命題。分析：分析：離散數(shù)學(xué)離散數(shù)學(xué)11 “悖論悖論”這個(gè)詞的意義比較豐富，它包括一切與人們直覺和這個(gè)詞的意義比較豐富，

8、它包括一切與人們直覺和日常經(jīng)驗(yàn)相矛盾的數(shù)學(xué)結(jié)論。由真推出假，由假推出真。日常經(jīng)驗(yàn)相矛盾的數(shù)學(xué)結(jié)論。由真推出假，由假推出真。 (1) 說(shuō)謊者悖論說(shuō)謊者悖論 我們陷入了著名的說(shuō)謊者悖論之中。下面是它的簡(jiǎn)單形式。我們陷入了著名的說(shuō)謊者悖論之中。下面是它的簡(jiǎn)單形式。 這句話是錯(cuò)的這句話是錯(cuò)的n上面這個(gè)句子對(duì)嗎上面這個(gè)句子對(duì)嗎?n如果是對(duì)的，這句話就是錯(cuò)的！如果是對(duì)的，這句話就是錯(cuò)的！n如果這句話是錯(cuò)的，那這個(gè)句子就對(duì)了！如果這句話是錯(cuò)的，那這個(gè)句子就對(duì)了！n像這樣矛盾的說(shuō)法比你所能想到的還要普遍得多。像這樣矛盾的說(shuō)法比你所能想到的還要普遍得多。附錄附錄(悖論悖論):離散數(shù)學(xué)離散數(shù)學(xué)12著名的理發(fā)師悖論

9、是伯特納德著名的理發(fā)師悖論是伯特納德羅素提出的。羅素提出的。 告示告示: 城里所有不自己刮臉的男人都由我給他們刮臉，我也城里所有不自己刮臉的男人都由我給他們刮臉，我也只給這些人刮臉。只給這些人刮臉。n誰(shuí)給這位理發(fā)師刮臉呢？誰(shuí)給這位理發(fā)師刮臉呢？n如果他自己刮臉，那他就屬于自己刮臉的那類人。但是，如果他自己刮臉，那他就屬于自己刮臉的那類人。但是，他的招牌說(shuō)明他不給這類人刮臉，因此他不能自己來(lái)刮。他的招牌說(shuō)明他不給這類人刮臉，因此他不能自己來(lái)刮。n如果另外一個(gè)人來(lái)給他刮臉，那他就是不自己刮臉的人。如果另外一個(gè)人來(lái)給他刮臉，那他就是不自己刮臉的人。但是，他的招牌說(shuō)他要給所有這類人刮臉。因此其他任何但

10、是，他的招牌說(shuō)他要給所有這類人刮臉。因此其他任何人也不能給他刮臉?？磥?lái)，沒有任何人能給這位理發(fā)師刮人也不能給他刮臉?？磥?lái)，沒有任何人能給這位理發(fā)師刮臉了！臉了！n伯特納德伯特納德羅素提出這個(gè)悖論，為的是把他發(fā)現(xiàn)的關(guān)于集羅素提出這個(gè)悖論，為的是把他發(fā)現(xiàn)的關(guān)于集合的一個(gè)著名悖論用故事通俗地表述出來(lái)。合的一個(gè)著名悖論用故事通俗地表述出來(lái)。(2)羅素悖論（理發(fā)師悖論）羅素悖論（理發(fā)師悖論） 離散數(shù)學(xué)離散數(shù)學(xué)13注意：注意：1.命題的真值是具有命題的真值是具有客觀性質(zhì)客觀性質(zhì)的，而不是的，而不是由人的主觀決定的。由人的主觀決定的。2. 在數(shù)理邏輯中，不要糾纏各種具體問題在數(shù)理邏輯中，不要糾纏各種具體問題

11、的真假問題，而把它看成抽象化的數(shù)學(xué)的真假問題，而把它看成抽象化的數(shù)學(xué)概念。概念。離散數(shù)學(xué)離散數(shù)學(xué)14簡(jiǎn)單簡(jiǎn)單/原子命題：由不能再分解為更簡(jiǎn)單的原子命題：由不能再分解為更簡(jiǎn)單的陳述句的陳述句構(gòu)成。陳述句的陳述句構(gòu)成。(1) (5) (10) 復(fù)合命題：由簡(jiǎn)單命題通過(guò)復(fù)合命題：由簡(jiǎn)單命題通過(guò)聯(lián)結(jié)詞聯(lián)結(jié)詞聯(lián)結(jié)而聯(lián)結(jié)而成的陳述句。成的陳述句。它由原子命題、命題聯(lián)結(jié)它由原子命題、命題聯(lián)結(jié)詞和圓括號(hào)組成。詞和圓括號(hào)組成。(11) (12)命題的分類命題的分類離散數(shù)學(xué)離散數(shù)學(xué)15 常用大寫字母、帶下標(biāo)的大寫字母、數(shù)字常用大寫字母、帶下標(biāo)的大寫字母、數(shù)字 表示表示命題，稱之為命題，稱之為命題標(biāo)識(shí)符。命題標(biāo)識(shí)符

12、。 例如：例如：p： 北京是中國(guó)的首都。北京是中國(guó)的首都。 2：北京是中國(guó)的首都。：北京是中國(guó)的首都。n命題常量：命題常量：表示一個(gè)確定的命題的命題標(biāo)示符。表示一個(gè)確定的命題的命題標(biāo)示符。n命題變?cè)好}變?cè)喝我饷}的位置標(biāo)志。命題變?cè)皇侨我饷}的位置標(biāo)志。命題變?cè)皇敲}（表示任意命題，不能確定真值）命題（表示任意命題，不能確定真值）當(dāng)命題變?cè)?dāng)命題變?cè)猵用一個(gè)特定的命題取代時(shí)，用一個(gè)特定的命題取代時(shí)，p才能確定才能確定真值，也稱對(duì)真值，也稱對(duì)p進(jìn)行指派。進(jìn)行指派。二、二、命題命題的表示法的表示法離散數(shù)學(xué)離散數(shù)學(xué)16本節(jié)的主要內(nèi)容有本節(jié)的主要內(nèi)容有: :1.1.給出了命題的概念；給出了命

13、題的概念；2.2.命題的判斷結(jié)果稱為命題的真值；命題的判斷結(jié)果稱為命題的真值；3. 3. 原子命題原子命題, , 復(fù)合命題復(fù)合命題。離散數(shù)學(xué)離散數(shù)學(xué)171-2 聯(lián)結(jié)詞聯(lián)結(jié)詞 內(nèi)容：內(nèi)容： 否定否定聯(lián)結(jié)詞聯(lián)結(jié)詞 合取合取聯(lián)結(jié)詞聯(lián)結(jié)詞 析取析取聯(lián)結(jié)詞聯(lián)結(jié)詞 條件條件聯(lián)結(jié)詞聯(lián)結(jié)詞 雙條件雙條件聯(lián)結(jié)詞聯(lián)結(jié)詞離散數(shù)學(xué)離散數(shù)學(xué)18(1)否定聯(lián)結(jié)詞否定聯(lián)結(jié)詞定義定義1-2.1 設(shè)設(shè)p為命題，復(fù)合命題為命題，復(fù)合命題“非非p”（或（或“p的否的否定定”）稱為）稱為p的否定式，記作的否定式，記作 p，符號(hào)，符號(hào)稱為否定聯(lián)結(jié)稱為否定聯(lián)結(jié)詞。詞。運(yùn)算規(guī)則：屬于單目運(yùn)算符運(yùn)算規(guī)則：屬于單目運(yùn)算符(一元運(yùn)算一元運(yùn)算)例

14、例: p:上海是一個(gè)大城市。上海是一個(gè)大城市。 p: 上海并不是一個(gè)大城市。上海并不是一個(gè)大城市。 p：上海是一個(gè)不大的城市。：上海是一個(gè)不大的城市。 pp t f f t離散數(shù)學(xué)離散數(shù)學(xué)19(2) 合取聯(lián)結(jié)詞合取聯(lián)結(jié)詞 p qpq t t t t f f f t f f f f定義定義1-2.2 設(shè)設(shè)p,q為二命題，復(fù)合命題為二命題，復(fù)合命題“p并且并且q”或或“p與與q”，稱為，稱為p與與q的合取式，記作的合取式，記作p q ，符號(hào)，符號(hào)稱為合取聯(lián)結(jié)詞。稱為合取聯(lián)結(jié)詞。運(yùn)算規(guī)則：屬于二元運(yùn)算符運(yùn)算規(guī)則：屬于二元運(yùn)算符合取運(yùn)算特點(diǎn)：只合取運(yùn)算特點(diǎn)：只有參與運(yùn)算的二命有參與運(yùn)算的二命題全為真時(shí)

15、，運(yùn)算題全為真時(shí)，運(yùn)算結(jié)果才為真，否則結(jié)果才為真，否則為假。為假。離散數(shù)學(xué)離散數(shù)學(xué)20例例1 p ：今天下雨。：今天下雨。 q： 明天下雨。明天下雨。 上述命題的合取為：上述命題的合取為： pq：今天下雨而且明天下雨：今天下雨而且明天下雨 pq：今天與明天都下雨。：今天與明天都下雨。 pq：這兩天都下雨。：這兩天都下雨。例例2 p: 地球在運(yùn)轉(zhuǎn)。地球在運(yùn)轉(zhuǎn)。q：224 則則 pq：地球在運(yùn)轉(zhuǎn)且：地球在運(yùn)轉(zhuǎn)且224例題例題離散數(shù)學(xué)離散數(shù)學(xué)21注意：注意：（1）自然語(yǔ)言中的表示自然語(yǔ)言中的表示“并且并且”意思的聯(lián)結(jié)詞，如意思的聯(lián)結(jié)詞，如“既既又又”、“不但不但而且而且”、“雖然雖然但是但是”、“一

16、面一面一面一面”等都可以符號(hào)化為等都可以符號(hào)化為 。 （2） 合取的概念與自然語(yǔ)言中的合取的概念與自然語(yǔ)言中的“與與”意義類似，但并不意義類似，但并不完全相同。尤其例完全相同。尤其例2在自然語(yǔ)言中是沒有意義的，但在數(shù)在自然語(yǔ)言中是沒有意義的，但在數(shù)理邏輯中仍能成為一個(gè)新的命題。理邏輯中仍能成為一個(gè)新的命題。 （3）不要見到不要見到“與與”或或“和和”就使用聯(lián)結(jié)詞就使用聯(lián)結(jié)詞 ！ 例如：甲與乙是同學(xué)。例如：甲與乙是同學(xué)。 這里的這里的“與與”不是合取。不是合取。離散數(shù)學(xué)離散數(shù)學(xué)22（3）析取聯(lián)結(jié)詞）析取聯(lián)結(jié)詞定義定義1-2.3 設(shè)設(shè)p,q為二命題，復(fù)合命題為二命題，復(fù)合命題“p或或q” 稱為稱為

17、p與與q的析取式，記作的析取式，記作p q，符號(hào)，符號(hào)稱為稱為析取聯(lián)結(jié)詞。析取聯(lián)結(jié)詞。運(yùn)算規(guī)則：屬于二元運(yùn)算符運(yùn)算規(guī)則：屬于二元運(yùn)算符析取運(yùn)算特點(diǎn)：析取運(yùn)算特點(diǎn)：只有參與運(yùn)算的只有參與運(yùn)算的二命題全為假時(shí)，二命題全為假時(shí)，運(yùn)算結(jié)果才為假，運(yùn)算結(jié)果才為假，否則為真。否則為真。離散數(shù)學(xué)離散數(shù)學(xué)23 析取運(yùn)算只能表示自然語(yǔ)言中的析取運(yùn)算只能表示自然語(yǔ)言中的“相容相容或或”(亦稱亦稱“可兼或可兼或”，用它聯(lián)結(jié)的命題具有相，用它聯(lián)結(jié)的命題具有相容性容性)的意思的意思 不能表示自然語(yǔ)言里的不能表示自然語(yǔ)言里的“排斥或排斥或” 還有一些漢語(yǔ)中的還有一些漢語(yǔ)中的“或或”不是命題聯(lián)結(jié)詞。不是命題聯(lián)結(jié)詞。注意注意

18、: 離散數(shù)學(xué)離散數(shù)學(xué)24例如：火車?yán)纾夯疖?：00或或9：00到站。到站。 （排斥或）（排斥或） 設(shè)設(shè)p：火車：火車8：00到站。到站。q：火車：火車9：00到站。到站。 則上述命題就不可簡(jiǎn)單符號(hào)化為：則上述命題就不可簡(jiǎn)單符號(hào)化為：p q 而應(yīng)描述為而應(yīng)描述為(p q) (pq) 或者或者 p q命題命題p q（p q） t t f t f t f t f t f t t f t f f f t f離散數(shù)學(xué)離散數(shù)學(xué)25（1）小王愛打球或愛跑步。）小王愛打球或愛跑步。 （可兼或）（可兼或） 設(shè)設(shè)p：小王愛打球。：小王愛打球。 q：小王愛跑步。：小王愛跑步。 則上述命題可符號(hào)化為：則上述命題可符

19、號(hào)化為：p q（2）今晚我在家看電視或去影院看電影）今晚我在家看電視或去影院看電影 （排斥或）（排斥或） (p q) (pq) （3）他昨天做了二十或三十道習(xí)題。）他昨天做了二十或三十道習(xí)題。 “或或” 只是表示的習(xí)題的近似數(shù)目。原子命題只是表示的習(xí)題的近似數(shù)目。原子命題例如：例如：離散數(shù)學(xué)離散數(shù)學(xué)26（4）條件聯(lián)結(jié)詞）條件聯(lián)結(jié)詞定義定義1-2.4 設(shè)設(shè)p,q為二命題，復(fù)合命題為二命題，復(fù)合命題“如果如果p，則，則q” 稱稱為為p與與q的蘊(yùn)涵式，記作的蘊(yùn)涵式，記作p q，即，即“如果如果p，則，則q”，“若若p則則q”。并稱。并稱p為前件，為前件，q為后件，符號(hào)為后件，符號(hào)稱為蘊(yùn)涵稱為蘊(yùn)涵聯(lián)結(jié)

20、詞。聯(lián)結(jié)詞。運(yùn)算規(guī)則：屬于二元運(yùn)算符運(yùn)算規(guī)則：屬于二元運(yùn)算符 p qpq t t t t f f f t t f f t只有當(dāng)只有當(dāng)p的的真值為真值為t，q的真值為的真值為f時(shí)，時(shí)， p q的真值為的真值為f。否則均為否則均為t。離散數(shù)學(xué)離散數(shù)學(xué)27例題：例題：例例1：如果某動(dòng)物為哺乳動(dòng)物，則它必胎生。如果某動(dòng)物為哺乳動(dòng)物，則它必胎生。例例2：如果我得到這本小說(shuō)，那末我今夜就讀完如果我得到這本小說(shuō)，那末我今夜就讀完它。它。例例3：如果雪是黑的，那么太陽(yáng)從西方出。如果雪是黑的，那么太陽(yáng)從西方出。離散數(shù)學(xué)離散數(shù)學(xué)28（1）自然語(yǔ)言中可用自然語(yǔ)言中可用p q蘊(yùn)涵式表述命題格式有蘊(yùn)涵式表述命題格式有“

21、只要只要p p，就就q”“q”“因?yàn)橐驗(yàn)閜 p，所以，所以q”q”、“只有只有q才才p”、“p僅當(dāng)僅當(dāng)q”（p成立，成立，q就成立）、就成立）、“除非除非q才才p”、“除非除非q，否則非，否則非p”、“q是是p的必要條件的必要條件”等。等。（2）與自然語(yǔ)言的不同：前件與后件可以沒有任何內(nèi)在聯(lián)系?。┡c自然語(yǔ)言的不同：前件與后件可以沒有任何內(nèi)在聯(lián)系?。?）在數(shù)學(xué)或其他自然科學(xué)中，往往是）在數(shù)學(xué)或其他自然科學(xué)中，往往是p為真為真 q也為真的推理關(guān)系。但也為真的推理關(guān)系。但在數(shù)理邏輯中，作為一種規(guī)定，當(dāng)在數(shù)理邏輯中，作為一種規(guī)定，當(dāng)p為假時(shí)，無(wú)論為假時(shí)，無(wú)論q如何，如何， p q均均為真。（善意的推定

22、）為真。（善意的推定） 注意：注意：離散數(shù)學(xué)離散數(shù)學(xué)29（5）雙條件聯(lián)結(jié)詞）雙條件聯(lián)結(jié)詞 定義定義1.5 設(shè)設(shè)p,q為二命題，復(fù)合命題為二命題，復(fù)合命題“p當(dāng)且僅當(dāng)當(dāng)且僅當(dāng)q” 稱為稱為p與與q的等價(jià)式，記作的等價(jià)式，記作p q，符號(hào)，符號(hào) 稱為等價(jià)聯(lián)結(jié)詞。稱為等價(jià)聯(lián)結(jié)詞。運(yùn)算規(guī)則：屬于二元運(yùn)算符運(yùn)算規(guī)則：屬于二元運(yùn)算符 p qp q t t t t f f f t f f f t當(dāng)當(dāng)p和和q的真的真值相同時(shí)，值相同時(shí)，p q的真的真值為值為t；否則；否則為為f。離散數(shù)學(xué)離散數(shù)學(xué)30說(shuō)明：說(shuō)明：雙條件命題也可以不顧因果關(guān)系，只根據(jù)雙條件命題也可以不顧因果關(guān)系，只根據(jù)聯(lián)結(jié)詞的定義確定真值。聯(lián)結(jié)詞

23、的定義確定真值。例例1：兩個(gè)三角形全等，當(dāng)且僅當(dāng)它們的三組對(duì)兩個(gè)三角形全等，當(dāng)且僅當(dāng)它們的三組對(duì)應(yīng)邊相等。應(yīng)邊相等。 例例2：燕子飛回南方，當(dāng)且僅當(dāng)春天來(lái)了。燕子飛回南方，當(dāng)且僅當(dāng)春天來(lái)了。 例例3： 22=4當(dāng)且僅當(dāng)雪是白的。當(dāng)且僅當(dāng)雪是白的。離散數(shù)學(xué)離散數(shù)學(xué)31小結(jié)：小結(jié)：n以上以上5種最基本、最常用、最重要的聯(lián)結(jié)詞可種最基本、最常用、最重要的聯(lián)結(jié)詞可以組成一個(gè)集合以組成一個(gè)集合，成為，成為一個(gè)聯(lián)結(jié)詞集。由后四種組成的命題是復(fù)合命一個(gè)聯(lián)結(jié)詞集。由后四種組成的命題是復(fù)合命題，亦可被多次使用，如題，亦可被多次使用，如（p q） r；n復(fù)合命題的真值，取決于原子命題的真值，與復(fù)合命題的真值，取決

24、于原子命題的真值，與原子命題之間是否有關(guān)系無(wú)關(guān)，與復(fù)合命題本原子命題之間是否有關(guān)系無(wú)關(guān)，與復(fù)合命題本身內(nèi)容、含義無(wú)關(guān)；身內(nèi)容、含義無(wú)關(guān)；n、 具有對(duì)稱性，具有對(duì)稱性， 、沒有；沒有；n連接詞具有運(yùn)算和操作性，從已知命題得到新連接詞具有運(yùn)算和操作性，從已知命題得到新命題。命題。離散數(shù)學(xué)離散數(shù)學(xué)32 1-3 命題公式與翻譯命題公式與翻譯內(nèi)內(nèi) 容：容： 合式公式合式公式 命題翻譯命題翻譯重點(diǎn)難點(diǎn)：重點(diǎn)難點(diǎn)：命題翻譯命題翻譯離散數(shù)學(xué)離散數(shù)學(xué)33合式公式合式公式wff命題公式：命題公式：將命題變?cè)寐?lián)結(jié)詞和圓括號(hào)按一定將命題變?cè)寐?lián)結(jié)詞和圓括號(hào)按一定的邏輯關(guān)系聯(lián)結(jié)起來(lái)的有意義的符號(hào)串。的邏輯關(guān)系聯(lián)結(jié)起來(lái)的有意義的符號(hào)串。例如：例如： pq，p （qp）說(shuō)明：說(shuō)明：命題公式是沒有真假值的。僅當(dāng)命題變?cè)}公式是沒有真假值的。僅當(dāng)命題變?cè)么_定命題代入時(shí)，才得到一個(gè)命題。命題的用確定命題代入時(shí)，才得到一個(gè)命題。命題的真值依賴于代換變?cè)哪切┟}真值。真值依賴于代換變?cè)哪切┟}真值。 離散數(shù)學(xué)離散數(shù)學(xué)34定義定義1-2-1 合式公式是由下列規(guī)則形成的字符串：合式公式是由下列規(guī)則形成的字符串： （1）單個(gè)命題變?cè)旧硎且粋€(gè)合式公式。）單個(gè)命題變?cè)旧硎且粋€(gè)合式公式。 （2）如果）如果a是合式公式，那么是合式公式，那么a是合式公式。是合式公式