離散第9講 命題與邏輯聯(lián)結(jié)詞new

11級(jí)專業(yè)選修課程授課人：王薇信息與計(jì)算教研室本教材離散數(shù)學(xué)知識(shí)結(jié)構(gòu)離散數(shù)學(xué)前言PowerPointTemplate_Sub

邏輯學(xué)是一門(mén)非常古老的學(xué)科，它是研究人類推理過(guò)程的科學(xué)。到現(xiàn)在已經(jīng)有了兩千多年的歷史。古典邏輯學(xué)主要起源于古希臘學(xué)者亞里士多德的邏輯學(xué)說(shuō)，他創(chuàng)作的《工具論》一書(shū)是古代一部最完備的邏輯學(xué)著作。古典邏輯學(xué)的基本特點(diǎn)是用自然語(yǔ)言描述對(duì)邏輯的研究，而一旦超出這個(gè)范圍，引入數(shù)學(xué)的方法來(lái)研究邏輯，就產(chǎn)生了遠(yuǎn)遠(yuǎn)優(yōu)于古典邏輯學(xué)的現(xiàn)代邏輯學(xué)。

數(shù)理邏輯也稱符號(hào)邏輯，是現(xiàn)代邏輯學(xué)研究的主體部分，是一門(mén)運(yùn)用數(shù)學(xué)方法研究思維規(guī)律的邊緣性學(xué)科。將推理變成數(shù)學(xué)演算，這是數(shù)理邏輯的指導(dǎo)思想，并且已經(jīng)成為這門(mén)學(xué)科的主要特征

。數(shù)理邏輯是用形式化(符號(hào)化)方法來(lái)研究推理的科學(xué)。*

命題邏輯研究命題和命題連接詞的邏輯結(jié)構(gòu)以及命題之間的推理關(guān)系。命題邏輯:推理的基本要素是命題.

引言

先看著名物理學(xué)家愛(ài)因斯坦出過(guò)的一道題：

一個(gè)土耳其商人想找一個(gè)十分聰明的助手協(xié)助他經(jīng)商，有兩人前來(lái)應(yīng)聘，這個(gè)商人為了試試哪個(gè)人更聰明些，就把兩個(gè)人帶進(jìn)一間漆黑的屋子里，他打開(kāi)燈后說(shuō)：“這張桌子上有五頂帽子，兩頂是紅色的，三頂是黑色的，現(xiàn)在，我把燈關(guān)掉，而且把帽子擺的位置弄亂，然后我們?nèi)齻€(gè)人每人摸一頂帽子戴在自己頭上，在我開(kāi)燈后，請(qǐng)你們盡快說(shuō)出自己頭上戴的帽子是什么顏色的?！闭f(shuō)完后，商人將電燈關(guān)掉，然后三人都摸了一頂帽子戴在頭上，同時(shí)商人將余下的兩頂帽子藏了起來(lái)，接著把燈打開(kāi)。這時(shí)，那兩個(gè)應(yīng)試者看到商人頭上戴的是一頂紅帽子，其中一個(gè)人便喊道：“我戴的是黑帽子?！?/p>

請(qǐng)問(wèn)這個(gè)人說(shuō)得對(duì)嗎？他是怎么推導(dǎo)出來(lái)的呢？

要回答這樣的問(wèn)題，實(shí)際上就是看由一些諸如“商人戴的是紅帽子”這樣的前提能否推出“猜出答案的應(yīng)試者戴的是黑帽子”這樣的結(jié)論來(lái)。這又需要經(jīng)歷如下過(guò)程：

(1)什么是前提？有哪些前提？

(2)結(jié)論是什么？

(3)根據(jù)什么進(jìn)行推理？

(4)怎么進(jìn)行推理？學(xué)習(xí)命題邏輯將回答這幾個(gè)問(wèn)題。-8-第9講命題與邏輯聯(lián)結(jié)詞PowerPointTemplate_Sub

1命題與邏輯聯(lián)結(jié)詞2邏輯等價(jià)式和邏輯蘊(yùn)涵式3范式4證明技術(shù)（補(bǔ)充）命題與邏輯聯(lián)結(jié)詞《離散數(shù)學(xué)》第9講Page56to78-10-第9講命題與邏輯聯(lián)結(jié)詞內(nèi)容提要命題的概念命題、命題真值表示原子命題和復(fù)合命題、命題常元、命題變?cè)壿嬄?lián)結(jié)詞┐、∧、∨、→、

命題公式

公式的歸納定義指派自然語(yǔ)句的形式化-11-第9講命題與邏輯聯(lián)結(jié)詞命題(proposition或statement)命題：是一句有確定真假值的陳述句。命題只有兩個(gè)結(jié)果，或是真，或是假，但二者不能得兼（排中律），也不能不真又不假。真、假常被稱為命題的真值。

命題的真值

作為命題的陳述句所表達(dá)的判斷結(jié)果稱為命題的真值,

真值只有2個(gè):真或假。用T,F或1,0表示。

當(dāng)判斷正確或符合客觀實(shí)際時(shí)，稱該命題真(true)，

否則稱該命題假(false)。任何命題的真值都是唯一的.判斷給定句子是否為命題的步驟:首先判定它是否為陳述句判斷它是否有唯一的真值.疑問(wèn)句、祈使句、感嘆句和悖論等都不是命題。悖論：由真推出假又由假推出真的陳述句稱為悖論。即自相矛盾的句子。-14-第9講命題與邏輯聯(lián)結(jié)詞命題舉例雪是白的半徑為1的圓的周長(zhǎng)為2π2是偶數(shù)且3也是偶數(shù)陳勝起義那天杭州下雨大于2的偶數(shù)均可以分解為兩個(gè)質(zhì)數(shù)的和數(shù)學(xué)多美啊!X+Y=4

“我正在說(shuō)謊?！蔽抑唤o那些不給自己刮胡子的人刮胡子√T√T√F√√T××××-15-第9講命題與邏輯聯(lián)結(jié)詞原子命題和復(fù)合命題原子命題：一個(gè)不能再分解成更簡(jiǎn)單語(yǔ)句的命題原子命題是最簡(jiǎn)單的陳述句（1）雪是白的。(T)

（2）2+2=5(F)

（3）2是素?cái)?shù)。(T)

（4）北京是中國(guó)的首都。(T)上述命題都是簡(jiǎn)單陳述句，他們都不能分解為更簡(jiǎn)單的陳述句了，稱這樣的命題為原子命題.-16-第9講命題與邏輯聯(lián)結(jié)詞原子命題和復(fù)合命題原子命題通常記為p、q、r等小寫(xiě)字母，f表示恒假命題，t表示恒真命題。例：p：2000年4月5日是星期一。q:星期二的前一天是星期一。恒真

-17-第9講命題與邏輯聯(lián)結(jié)詞原子命題和復(fù)合命題命題常元和變?cè)用}有確定的真值，又稱為命題常元。命題變?cè)侵敢粋€(gè)未確定真值的任意命題，其值在{0，1}上變化。例p:x+y=5不是命題，但x,y一旦確定，它的真值就確定了。這種真值可以變化的簡(jiǎn)單陳述句稱為命題變?cè)Ｃ}變?cè)灿胮、q、r等小寫(xiě)字母表示。-18-第9講命題與邏輯聯(lián)結(jié)詞原子命題和復(fù)合命題復(fù)合命題：相對(duì)于原子命題的是復(fù)合命題，它是由原子命題通過(guò)邏輯聯(lián)結(jié)詞進(jìn)行適當(dāng)?shù)慕M合而成的。復(fù)合命題的真值不僅依賴于這兩個(gè)組成它的命題，而且還依賴于這個(gè)聯(lián)結(jié)詞的意義。-19-第9講命題與邏輯聯(lián)結(jié)詞舉例p：3是素?cái)?shù)；q：3是偶數(shù)利用聯(lián)結(jié)詞“不”、“或”、“且”等可分別構(gòu)成新命題：“非p”：3不是素?cái)?shù)“p或q”：3是素?cái)?shù)或偶數(shù)“p并且q”：3是素?cái)?shù)且是偶數(shù)帶連接詞的命題：1）并非2是無(wú)理數(shù)。(T)2）4是偶數(shù)且4也是素?cái)?shù)。(F)3）2或4是素?cái)?shù)。(T)4）如果角A和角B是對(duì)頂角，則角A=角B。(T)5）兩個(gè)三角形全等當(dāng)且僅當(dāng)它們的3組對(duì)應(yīng)邊相等。(T)

這幾個(gè)命題的真值不僅依賴于這兩個(gè)組成它的命題，而且還依賴于這些聯(lián)結(jié)詞的意義。像這樣的聯(lián)結(jié)詞稱為邏輯聯(lián)結(jié)詞（logicalconnectives）。練習(xí)

所以復(fù)合命題是由若干個(gè)簡(jiǎn)單命題和若干個(gè)連接詞構(gòu)成的。

下面我們將連接詞也符號(hào)化。-22-第9講命題與邏輯聯(lián)結(jié)詞常用5個(gè)邏輯聯(lián)結(jié)詞一.否定詞(negation)：┐“┐P

表示P不成立”、“并非P”否定詞是一元運(yùn)算。否定的是整個(gè)命題，并不是否定命題中個(gè)別的詞?！癆和B都大于0”的否定：“A和B都不大于0”“A和B不都大于0”“A和B至少有一個(gè)不大于0”“A和B至少有一個(gè)小于等于0”“A大于0”的否定：“A不大于0”“A小于等于0”×-23-第9講命題與邏輯聯(lián)結(jié)詞常用的5個(gè)邏輯聯(lián)結(jié)詞真值表將復(fù)合命題的所有變?cè)乃腥≈盗谐杀?，就?gòu)成真值表P┐P0110真值表*練習(xí)1：設(shè)P:今天是周三。則┐P表示什么？練習(xí)2：設(shè)Q:所有的自然數(shù)都是偶數(shù)。則┐Q表示什么？-25-第9講命題與邏輯聯(lián)結(jié)詞常用5個(gè)邏輯聯(lián)結(jié)詞二.合取詞(conjunction)：∧

p∧q表示“p并且q”、“p和q都成立”合取詞是二元運(yùn)算只有當(dāng)p和q均為真時(shí)，p∧q才是真的，否則，p∧q是假的∧是可交換的pqp∧q000010100111p:今天是星期四；q:今天上離散數(shù)學(xué)課；p∧q：今天是星期四并且上離散數(shù)學(xué)課；*例1.

如果P表示命題“你去了學(xué)?！?Q表示命題“我去了工廠”，那么P∧Q表示命題”你去了學(xué)校并且我去了工廠“。

P∧Q為真，當(dāng)且僅當(dāng)你、我分別去了學(xué)校和工廠。注:使用合取聯(lián)結(jié)詞時(shí)，不要求兩命題間一定有任何關(guān)系。例2：P:今天下雨了。

Q:教室里有100把椅子。則,P∧Q：今天下雨了且教室里有100把椅子。離散數(shù)學(xué)

第一章：命題邏輯對(duì)∧的說(shuō)明∧是二元連接詞P∧Q中的P，Q可以沒(méi)有內(nèi)在聯(lián)系（如例2）∧具有對(duì)稱性，P∧Q與Q∧P的真值相同P∧┐P=F∧可以把若干個(gè)命題連接在一起.如，

P∧Q∧R∧S

補(bǔ)充練習(xí):

將下列命題符號(hào)化。

(1)吳穎既用功又聰明。

(2)吳穎不僅用功而且聰明。

(3)吳穎雖然聰明，但不用功。

(4)張輝和王麗都是三好學(xué)生。

(5)張輝與王麗是同學(xué)。

步驟：先找原子命題并符號(hào)化再找連接詞將原命題符號(hào)化解

：首先將原子命題符號(hào)化：

p:吳穎用功。,

q:吳穎聰明。

r:張輝是三好學(xué)生。

s:王麗是三好學(xué)生。

u

:張輝與王麗是同學(xué)。

則(1)到(4)分別符號(hào)化為

p∧q，p∧q，q∧┐p，r∧s.

(5)是原子命題，符號(hào)化為u.補(bǔ)充練習(xí):將下列命題符號(hào)化。

(1)吳穎既用功又聰明。

(2)吳穎不僅用功而且聰明。

(3)吳穎雖然聰明，但不用功。

(4)張輝和王麗都是三好學(xué)生。

(5)張輝與王麗是同學(xué)。

(1)到(4)都是復(fù)合命題，它們使用的聯(lián)結(jié)詞表面看來(lái)各不相同，但都是合取聯(lián)結(jié)詞，都應(yīng)符號(hào)化為∧，在(5)中，雖然也使用了聯(lián)結(jié)詞“與”，但這個(gè)聯(lián)結(jié)詞“與”是聯(lián)結(jié)該句主語(yǔ)的，而整個(gè)句子仍是簡(jiǎn)單陳述句，所以(5)是原子命題，-30-第9講命題與邏輯聯(lián)結(jié)詞常用5個(gè)邏輯聯(lián)結(jié)詞析取詞(disjunction)：∨

p∨q，“p成立或者q成立”、“p或q”析取詞是二元運(yùn)算只有當(dāng)p和q的真值均為假時(shí)，p∨q才是假的，否則,

p∨q總是真的pqp∨q000011101111p:我上午上離散數(shù)學(xué)；q:我上午上概率統(tǒng)計(jì)；p∨

q：我上午或者上離散數(shù)學(xué)，或者上概率統(tǒng)計(jì)；p:我上午一二節(jié)課上離散數(shù)學(xué)；q:我上午一二節(jié)課上概率統(tǒng)計(jì)；p∨

q：我上午一二節(jié)課要么上離散數(shù)學(xué)，要么上概率統(tǒng)計(jì)(不會(huì)上兩門(mén))；同或異或

總結(jié)：析取∨一般代表漢語(yǔ)中的“或”，但漢語(yǔ)中的“或”是多含義的，見(jiàn)下表：或的含義例子說(shuō)明可兼或晚會(huì)上她唱歌或跳舞二者均發(fā)生或二者之一發(fā)生排斥或

他上“師大”或“南開(kāi)”非此即彼，不可兼得表示近似值的或他休息5或10分鐘近似數(shù)，5至10分鐘由析取的定義可知，∨表示可兼或。例1：

如果p，q分別表示“今晚我看書(shū)”和“今晚我看電視”，那么p∨q表示“今晚我看書(shū)或者看電視”。當(dāng)我今晚看了書(shū)，或者看了電視，或者既看了書(shū)又看了電視時(shí)，p∨q為真，只是在我既不看書(shū)也不看電視時(shí)p∨q為假。

值得注意的是，這里的“或”是所謂可兼的，即當(dāng)p和q有一為真時(shí)，確認(rèn)p∨q為真。則原命題可表示為：例2.一晚上他在家看書(shū)或出去散步。解：不可兼或

P：他一晚上在家看書(shū)。Q：他一晚上出去散步。

不可兼或也稱排斥或，它表示這一新命題當(dāng)P為真且Q為假時(shí)成真，或反過(guò)來(lái)，當(dāng)P為假且Q為真時(shí)成真。P和Q均為真或均為假時(shí)，這一命題為假。即當(dāng)P和Q中恰有一個(gè)為真時(shí)它成真，否則它為假。對(duì)∨的說(shuō)明∨是二元連接詞P∨Q中的P，Q可以沒(méi)有內(nèi)在聯(lián)系（如例2）∨具有對(duì)稱性，P∧Q與Q∧P的真值相同P∨┐P=T∨可以把若干個(gè)命題連接在一起.如，

P∨Q∨R∨S-35-第9講命題與邏輯聯(lián)結(jié)詞常用5個(gè)邏輯聯(lián)結(jié)詞蘊(yùn)涵詞(implication)：→

p→q，“如果p，那么q”、“p蘊(yùn)涵q”、“p是q的充分條件”從真值表可以看出，只有當(dāng)前提為真，而結(jié)論是假時(shí)，p→q才是假的pqp→q001011100111逆命題：q→p；否命題：┐p→┐q逆否命題：┐q→┐p命題和逆否命題有相同的真值（驗(yàn)證一下）“如果今天是星期三，那么2+3=6”：前提為假，蘊(yùn)涵命題為真；前提和結(jié)論之間可以沒(méi)有關(guān)系，稱為實(shí)質(zhì)蘊(yùn)涵p:天晴；q:我爬山；只要天晴，我就爬山：

p→

q

只有天晴，我才爬山：q

→p

注意：在使用聯(lián)結(jié)詞→時(shí)，要特別注意以下幾點(diǎn)：

1．在自然語(yǔ)言中，“如果p，則q”中的前件p與后件q往往具有某種內(nèi)在聯(lián)系。而在數(shù)理邏輯中，p與q可以無(wú)任何內(nèi)在聯(lián)系。

2．在數(shù)學(xué)或其它自然科學(xué)中，“如果p，則q”往往表達(dá)的是前件p為真，后件q也為真的推理關(guān)系。但在數(shù)理邏輯中，作為一種規(guī)定，當(dāng)p為假時(shí)，無(wú)論q是真是假，p→q均為真。也就是說(shuō)，只有p為真q為假這一種情況使得復(fù)合命題p→q為假。

例1

將命題“如果天氣好，那么我去接你?！狈?hào)化。解：設(shè)p表示“天氣好”，q表示“我去接你”，那么，p→q表示原命題。

當(dāng)天氣好時(shí)，

我去接了你，這時(shí)諾言p→q真；

我沒(méi)去接你，則諾言p→q假。

當(dāng)天氣不好時(shí)，我無(wú)論去或不去接你均未食言，此時(shí)認(rèn)定p→q為真是適當(dāng)?shù)摹?/p>

注：較三個(gè)聯(lián)結(jié)詞難理解，但若要對(duì)命題間因果關(guān)系進(jìn)行表達(dá)，則必須引用。例2：令P:天氣好，Q:我去公園試將下列命題符號(hào)化1）若天氣好，我就去公園。符號(hào)化為：2）僅當(dāng)天氣好，我才去公園。符號(hào)化為：-39-第9講命題與邏輯聯(lián)結(jié)詞常用5個(gè)邏輯聯(lián)結(jié)詞雙向蘊(yùn)涵詞(two-wayimplication)pq，“p當(dāng)且僅當(dāng)q”、

“如果p，那么q；反之亦然”只有當(dāng)p和q的真值相同時(shí)，pq才取真的真值pq與(p→q)∧(q→p)有完全相同的真值。（驗(yàn)證一下）pqpq001010100111“只有你健康，你才會(huì)感到快樂(lè)；只有感覺(jué)快樂(lè)你才健康”*例1

如果p表示命題“△ABC△A‘B’C‘”，

q表示命題“△ABC與△A‘B’C‘的三邊對(duì)應(yīng)相等”，那么pq表示平面幾何中的一個(gè)真命題，因?yàn)閜真時(shí)q顯然真，p假時(shí)q亦必然假，故p與q同真值。若q表示命題“△ABC與△A‘B’C‘的三內(nèi)角對(duì)應(yīng)相等”那么pq不再是恒真的了，因p假時(shí)q未必為假。離散數(shù)學(xué)

第一章：命題邏輯練習(xí):

將下列命題符號(hào)化，并討論它們的真值。

(1)根號(hào)5是無(wú)理數(shù)當(dāng)且僅當(dāng)加拿大位于亞洲。

(2)2+3＝5的充要條件是根號(hào)5是無(wú)理數(shù)。

(3)若兩圓A，B的面積相等，則它們的半徑相等；反之亦然。

(4)當(dāng)王小紅心情愉快時(shí)，她就唱歌；反之，當(dāng)她唱歌時(shí)，一定心情愉快。解

(1):令p：根號(hào)5是無(wú)理數(shù)，真值為1，

q：加拿大位于亞洲，真值為0，

則將(1)符號(hào)化為pq，其真值為0.

(2):令r：2＋3＝5，其真值為1，則將(2)符號(hào)化為rp，真值為1.

(3):令s：兩圓A，B面積相等，

t：兩圓A，B的半徑相等，

則將(3)符號(hào)化為st，雖然不知道s，t的真值，但由s與t的內(nèi)在聯(lián)系可知，st的真值為1.

(4):令u：王小紅心情愉快，

v：王小紅唱歌，

則將(4)符號(hào)化為uv.其真值要由具體情況而定。練習(xí)：填空已知為T(mén)，則P為（），Q為（）。已知為F，則P為（），Q為（）。已知P為F，則為（）。已知P為T(mén)，則為（）。已知為T(mén)，且P為F，則Q為（）。已知為F，則P為（），Q為（）。已知P為F，則為（）。已知Q為T(mén)，則為（）。已知為F，則P為（），Q為（）。已知P為T(mén)，為T(mén)，則Q為（）。TTTTTFFFFFTTTT

以上定義了五種最基本、最常用、也是最重要的聯(lián)結(jié)詞┐，∧，∨，→，，將它們組成一個(gè)集合{┐，∧，∨，→，

}，稱為一個(gè)聯(lián)結(jié)詞集。其中┐為一元聯(lián)結(jié)詞，其余的都是二元聯(lián)結(jié)詞。

使用這些聯(lián)結(jié)詞有什么好處呢？可以將復(fù)雜命題表示成簡(jiǎn)單的符號(hào)公式。注意：4個(gè)聯(lián)接詞構(gòu)成的復(fù)合命題均可不顧及命題間是否有內(nèi)在聯(lián)系，而只是根據(jù)聯(lián)接詞和原子命題的真值確定它們的真值。-45-第9講命題與邏輯聯(lián)結(jié)詞命題公式(propositionformula)命題公式：是一個(gè)表達(dá)式，它是由命題常元、命題變?cè)?、?lián)結(jié)詞符號(hào)和圓括號(hào)所組成的一個(gè)字符串

歸納定義：（看16頁(yè)歸納定義）命題常元和命題變?cè)敲}公式，也稱為原子公式或原子如果A，B是命題公式，那么（┐A）、（A∧B）、

（A∨B）、（A→B）、（AB）也是命題公式只有有限步引用條款（1）、（2）所組成的符號(hào)串是命題公式-46-第9講命題與邏輯聯(lián)結(jié)詞簡(jiǎn)寫(xiě)約定為了減少圓括號(hào)的使用，我們約定：省掉最外面的括號(hào)聯(lián)結(jié)詞的優(yōu)先級(jí)從高到低是┐、（∧、∨）、→、結(jié)合能力平等的聯(lián)結(jié)詞從左到右運(yùn)算((┐p)→(q∨((r∧q)s)))┐p→q∨(r∧qs)-47-第9講命題與邏輯聯(lián)結(jié)詞指派(assignment)設(shè)公式A含有n個(gè)命題變?cè)猵1，p2

，…，pn記為A(p1,…,pn)給定這n個(gè)變?cè)我庖唤M確定的值（每一變?cè)加腥≌婊蚣賰煞N可能），公式A得到一個(gè)確定的值（1或0），我們稱這一組確定的值為公式A的一組完全指派常用表示指派，若在某一指派下A取真的真值，則稱弄真A，記為

(A)=1,反之稱弄假A，記為

(A)=0

-48-第9講命題與邏輯聯(lián)結(jié)詞指派舉例使公式A:((p∧q)∨┐r)p為真的指派(A)=11.((p∧q)∨┐r)=1，

(p)=1，2.((p∧q)∨┐r)=0，

(p)=0(┐r)=0,(r)=11.1.(q)=11.1.1.(r)=01.1.2.(r)=11.2.(q)=01.2.1.(r)=02.1.(q)=02.2.(q)=1(1,1,0)(1,1,1)(1,0,0)(0,0,1)(0,1,1)-49-第9講命題與邏輯聯(lián)結(jié)詞復(fù)合命題公式的真值表首先確定在公式中出現(xiàn)的命題變?cè)膫€(gè)數(shù)。寫(xiě)出公式A的所有指派，一個(gè)指派為一行，若有n個(gè)命題變?cè)?，則有2n組指派，也就是說(shuō)真值表有2n+1行。確定公式中聯(lián)結(jié)詞的個(gè)數(shù)，寫(xiě)出單個(gè)聯(lián)結(jié)詞的真值，一般講，一個(gè)聯(lián)結(jié)詞對(duì)應(yīng)著一列。

((p∧q)∨┐r)p的真值表pqrp∧q┐r(p∧q)∨┐r((p∧q)∨┐r)p00001100010001010011001100011000111101000011011111111011┐(PQ)0110原命題QP011111100000000000001111例2：上海到北京的14次列車是下午五點(diǎn)半開(kāi)或六點(diǎn)開(kāi)。復(fù)合命題的真值表

-51-第9講命題與邏輯聯(lián)結(jié)詞語(yǔ)句形式化舉例設(shè)p：a是偶數(shù)q：a是奇數(shù)r：a是質(zhì)數(shù)s：a=2，如何理解下述命題公式p∨q

p∧r→sp→（r→s）r∧┐s→q┐（q∨s）→┐rr→（q∨s）rq∨s-52-第9講命題與邏輯聯(lián)結(jié)詞語(yǔ)句形式化舉例我和他既是兄弟又是同學(xué)p∧q，其中：p：我和他是兄弟，q：我和他是同學(xué)我和他至少有一個(gè)要去外地p∨q，其中：p：我去外地，q：他去外地狗急跳墻p→q，其中：p：狗急了，q：狗跳墻除非他來(lái)，否則我不同他和解pq，(p→q)∧(┐p→┐q)，其中：p：他來(lái)，q：我同他和解-53-第9講命題與邏