3練習(xí)與答案-命題邏輯-課件

第三章命題邏輯2020/12/271第三章命題邏輯2020/12/271一、判定下列斷定的正誤1．有真假的句子就是命題。2．在命題邏輯中，包含與自身不同的支命題的命題，就是復(fù)合命題。3．如果p是q的充分條件，那么q就是p的必要條件。4．如果p不是q的充分條件，那么q就不是p的必要條件。5。否定一個(gè)選言命題，等于肯定一個(gè)聯(lián)言命題；否定一個(gè)聯(lián)言命題，等于肯定一個(gè)選言命題。6．否定p是q的充分條件，就等于肯定p是q的必要條件。7．一個(gè)推理的前提真，并且結(jié)論真，這個(gè)推理一定是正確的。8．一個(gè)推理的前提真，并且結(jié)論假，這個(gè)推理一定是不正確的。9．如果一個(gè)推理的結(jié)論假，那么這個(gè)推理就不可能是正確的。一、1、√

2、×

3、√

4、×

5、×

6、×

7、×

8、√

9、×2020/12/272一、判定下列斷定的正誤2020/12/272精品資料3精品資料3你怎么稱(chēng)呼老師？如果老師最后沒(méi)有總結(jié)一節(jié)課的重點(diǎn)的難點(diǎn)，你是否會(huì)認(rèn)為老師的教學(xué)方法需要改進(jìn)？你所經(jīng)歷的課堂，是講座式還是討論式？教師的教鞭“不怕太陽(yáng)曬，也不怕那風(fēng)雨狂，只怕先生罵我笨，沒(méi)有學(xué)問(wèn)無(wú)顏見(jiàn)爹娘……”“太陽(yáng)當(dāng)空照，花兒對(duì)我笑，小鳥(niǎo)說(shuō)早早早……”44精品資料5精品資料5你怎么稱(chēng)呼老師？如果老師最后沒(méi)有總結(jié)一節(jié)課的重點(diǎn)的難點(diǎn)，你是否會(huì)認(rèn)為老師的教學(xué)方法需要改進(jìn)？你所經(jīng)歷的課堂，是講座式還是討論式？教師的教鞭“不怕太陽(yáng)曬，也不怕那風(fēng)雨狂，只怕先生罵我笨，沒(méi)有學(xué)問(wèn)無(wú)顏見(jiàn)爹娘……”“太陽(yáng)當(dāng)空照，花兒對(duì)我笑，小鳥(niǎo)說(shuō)早早早……”66二、用真值表判定以下兩個(gè)真值形式的等值o

(1)p→q

(2)﹁pVqpq～pp→q～p∨q2020/12/277二、用真值表判定以下兩個(gè)真值形式的等值o

(1)p→二、用真值表判定以下兩個(gè)真值形式的等值o

(1)p→q

(2)﹁pVqpq～pp→q～p∨qT

T

F

T

T

T

F

F

F

F

F

F

T

T

T

F

T

T

T

T

2020/12/278二、用真值表判定以下兩個(gè)真值形式的等值o

(1)p→三、運(yùn)用命題推理的知識(shí)，解答以下問(wèn)題某排球隊(duì)有A、B、C、D、E、F、P、Q、R、S、T等12個(gè)隊(duì)員。在某場(chǎng)比賽中，上場(chǎng)隊(duì)員的挑選有以下的原則：①如果P不上場(chǎng)，則S不上場(chǎng)；②只有D不上場(chǎng)，G才上場(chǎng)；③A和C要么都上場(chǎng)，要么都不上場(chǎng)；④當(dāng)且僅當(dāng)D上場(chǎng)，R才不上場(chǎng)；⑤只有R不上場(chǎng)，C才不上場(chǎng)；⑥A和P兩人中，只能上場(chǎng)一個(gè)；⑦如果S不上場(chǎng)，則T和Q也不上場(chǎng)；⑧R和F兩人中也只能上場(chǎng)一個(gè)。⑨G上場(chǎng)。從上述條件可推出誰(shuí)上場(chǎng)，誰(shuí)不上場(chǎng)?2020/12/279三、運(yùn)用命題推理的知識(shí)，解答以下問(wèn)題2020/12/279解析⑨G上場(chǎng)。②只有D不上場(chǎng)，G才上場(chǎng)；——D不上場(chǎng)（必要條件肯定后件式）④當(dāng)且僅當(dāng)D上場(chǎng)，R才不上場(chǎng)；——R上場(chǎng)（充要條件否定前件式）⑧R和F兩人中也只能上場(chǎng)一個(gè)。——F不上場(chǎng)（不相容選言）

⑤只有R不上場(chǎng)，C才不上場(chǎng)；——C上場(chǎng)（必要條件否定前件式）③A和C要么都上場(chǎng)，要么都不上場(chǎng)；——A上場(chǎng)（不相容選言）⑥A和P兩人中，只能上場(chǎng)一個(gè)；——P不上場(chǎng)（不相容選言）①如果P不上場(chǎng)，則S不上場(chǎng)；——S不上場(chǎng)（充分條件肯定前件式）⑦如果S不上場(chǎng)，則T和Q也不上場(chǎng)；——T和Q不上場(chǎng)（充分條件肯定前件）上場(chǎng)A、B、C、E、G、R、不上場(chǎng)D、F、P、S、T、Q、2020/12/2710解析2020/12/2710四、解答下列各題。從所列的A、B、C、D、E五個(gè)備選答案中選出一個(gè)，多選為錯(cuò)。1．在某餐館中，所有的菜或者屬于川菜系或者屬于粵菜系，張先生點(diǎn)的菜中有川菜，因此，張先生點(diǎn)的菜中沒(méi)有粵菜。以下哪項(xiàng)最能增強(qiáng)上述論證?A．餐館規(guī)定，點(diǎn)粵菜就不能點(diǎn)川菜，反之亦然。B．餐館規(guī)定，如果點(diǎn)了川菜，可以不點(diǎn)粵菜，但點(diǎn)了粵菜，一定也要點(diǎn)川菜。C．張先生是四川人，只喜歡川菜。D．張先生是廣東人，但不喜歡粵菜。E．張先生是四川人，最不喜歡粵菜。1、A（把相容選言命題變?yōu)椴幌嗳葸x言命題，用肯定否定式）

2020/12/2711四、解答下列各題。從所列的A、B、C、D、E五個(gè)備選答案中選2．只要天上有太陽(yáng)并且氣溫在零攝氏度以下，街上總有很多人穿著皮夾克。只要天下著雨并且氣溫在零攝氏度以上，街上總有人穿著雨衣。有時(shí)，天上有太陽(yáng)但卻同時(shí)下著雨。如果上述斷定為真，則以下哪項(xiàng)一定為真?A．有時(shí)街上會(huì)有人在皮夾克外面套著雨衣。B．如果街上有很多人穿著皮夾克但天沒(méi)下雨，則天上一定有太陽(yáng)。C．如果氣溫在零攝氏度以下并且街上沒(méi)有多少人穿著皮夾克，則天一定下著雨。D．如果氣溫在零攝氏度以上并且街上有人穿著雨衣，則天一定下著雨。E．如果氣溫在零攝氏度以上但街上沒(méi)人穿雨衣，則天一定沒(méi)下雨。

2020/12/27122．只要天上有太陽(yáng)并且氣溫在零攝氏度以下，街上總有很多人穿著1太陽(yáng)∧零下→許多人穿皮夾克2下雨∧零上→總有人穿著雨衣3太陽(yáng)∧下雨A．有時(shí)街上會(huì)有人在皮夾克外面套著雨衣。（肯定后件無(wú)效）B．如果街上有很多人穿著皮夾克但天沒(méi)下雨，則天上一定有太陽(yáng)。（肯定后件無(wú)效）C．如果氣溫在零攝氏度以下并且街上沒(méi)有多少人穿著皮夾克，則天一定下著雨。（推理錯(cuò)誤）D．如果氣溫在零攝氏度以上并且街上有人穿著雨衣，則天一定下著雨。（肯定后件無(wú)效）E．如果氣溫在零攝氏度以上但街上沒(méi)人穿雨衣，則天一定沒(méi)下雨。（正確）

2020/12/27131太陽(yáng)∧零下→許多人穿皮夾克2020/12/27131太陽(yáng)∧零下→許多人穿皮夾克2下雨∧零上→總有人穿著雨衣3太陽(yáng)∧下雨E．如果氣溫在零攝氏度以上但街上沒(méi)人穿雨衣，則天一定沒(méi)下雨。E．零上∧街上沒(méi)人穿雨衣→沒(méi)下雨。否定后件否定前件。沒(méi)有人穿著雨衣→并非（下雨∧零上）→或者沒(méi)有下雨或者非零上（即零下）相容選言命題否定肯定式。否定“零下”肯定“沒(méi)有下雨?！?020/12/27141太陽(yáng)∧零下→許多人穿皮夾克2020/12/27143．一個(gè)產(chǎn)品要?jiǎng)?chuàng)成名牌，必須保持過(guò)硬的質(zhì)量；一個(gè)產(chǎn)品，只有提高技術(shù)含量，才能保持過(guò)硬的質(zhì)量；而一個(gè)企業(yè)如果忽視技術(shù)投資，則產(chǎn)品的技術(shù)含量就不可能提高。以下哪項(xiàng)結(jié)論可以從題干的斷定中推出?I一個(gè)生產(chǎn)名牌產(chǎn)品的企業(yè)，不可能忽視技術(shù)投資。Ⅱ一個(gè)缺少技術(shù)含量的產(chǎn)品，不可能創(chuàng)成名牌。Ⅲ一個(gè)產(chǎn)品質(zhì)量不過(guò)硬的企業(yè)，一定忽視了技術(shù)投資。A．只有IB．只有ⅡC．只有ⅢD．只有I和ⅡE．I、Ⅱ和Ⅲ3、D

2020/12/27153．一個(gè)產(chǎn)品要?jiǎng)?chuàng)成名牌，必須保持過(guò)硬的質(zhì)量；一個(gè)產(chǎn)品，只有提4．國(guó)內(nèi)以三國(guó)歷史為背景的游戲《三國(guó)殺》、《三國(guó)斬》、《三國(guó)斗》、《三國(guó)夢(mèng)》等，都借鑒了美國(guó)西部牛仔游戲《bang!》。中國(guó)網(wǎng)絡(luò)游戲的龍頭企業(yè)盛大公司狀告一家小公司，認(rèn)為后者的《三國(guó)斬》抄襲了自己的《三國(guó)殺》。如果盛大公司敗訴，則《三國(guó)斬》必定知名度大增，這等于培養(yǎng)了自己的競(jìng)爭(zhēng)對(duì)手；如果盛大公司勝訴，則為《bang!》日后告贏《三國(guó)殺》抄襲提供了一個(gè)非常好的案例。

如果以上陳述為真，以下哪項(xiàng)陳述一定為真?

A．著名的大公司與默默無(wú)聞的小公司打官司，可以提高小公司的知名度

B．如果盛大公司勝訴。那么它會(huì)繼續(xù)打擊以三國(guó)歷史為背景的其他游戲

C．盛大公司在培養(yǎng)自己的競(jìng)爭(zhēng)對(duì)手，或者在為《bang!》將來(lái)狀告自己抄襲提供好的案例

D．國(guó)內(nèi)以三國(guó)歷史為背景的游戲都將面臨美國(guó)西部牛仔游戲《bang!》的侵權(quán)訴訟4、c2020/12/27164．國(guó)內(nèi)以三國(guó)歷史為背景的游戲《三國(guó)殺》、《三國(guó)斬》、《三國(guó)5．愛(ài)因斯坦發(fā)表狹義相對(duì)論時(shí)，有人問(wèn)他，預(yù)計(jì)公眾會(huì)有什么反應(yīng)？他答道：很簡(jiǎn)單，如果我的理論是正確的，那么，德國(guó)人會(huì)說(shuō)我是德國(guó)人，法國(guó)人會(huì)說(shuō)我是歐洲人，美國(guó)人會(huì)說(shuō)我是世界公民。如果我的理論不正確，那么美國(guó)人會(huì)說(shuō)我是歐洲人，法國(guó)人會(huì)說(shuō)我是德國(guó)人，德國(guó)人會(huì)說(shuō)我是猶太人。如果愛(ài)因斯坦的話(huà)是真的，以下哪項(xiàng)陳述一定為真？A有人會(huì)說(shuō)愛(ài)因斯坦是德國(guó)人B有人會(huì)說(shuō)愛(ài)因斯坦是世界公民C有人會(huì)說(shuō)愛(ài)因斯坦是猶太人D法國(guó)人會(huì)說(shuō)愛(ài)因斯坦是歐洲人E美國(guó)人會(huì)說(shuō)愛(ài)因斯坦是美國(guó)人

5、A2020/12/27175．愛(ài)因斯坦發(fā)表狹義相對(duì)論時(shí)，有人問(wèn)他，預(yù)計(jì)公眾會(huì)有什么反應(yīng)五、在以下各句的括號(hào)中填人哪個(gè)或哪些選項(xiàng)是適當(dāng)?shù)?1．命題的真值是指()。A．真命題的值B．命題的真假二值1、B

2．相容選言命題和不相容選言命題的共同之處是()。A．都斷定至少有一個(gè)選言支是真的B．如果其選言支是都是假的，則自身是假的C．如果至少有一個(gè)選言支是真的，則自身是真的

2、A、B

3．如果p是q的充分條件，則()。A．q一定是p的必要條件B．p一定不是q的必要條件C．q可能是p的充分條件

3、A、B

2020/12/2718五、在以下各句的括號(hào)中填人哪個(gè)或哪些選項(xiàng)是適當(dāng)?shù)?2020/五、在以下各句的括號(hào)中填人哪個(gè)或哪些選項(xiàng)是適當(dāng)?shù)?1．命題的真值是指()。A．真命題的值B．命題的真假二值1、B

2．相容選言命題和不相容選言命題的共同之處是()。A．都斷定至少有一個(gè)選言支是真的B．如果其選言支是都是假的，則自身是假的C．如果至少有一個(gè)選言支是真的，則自身是真的

2、A、B

3．如果p是q的充分條件，則()。A．q一定是p的必要條件B．p一定不是q的必要條件C．q可能是p的充分條件

3、A、B

2020/12/2719五、在以下各句的括號(hào)中填人哪個(gè)或哪些選項(xiàng)是適當(dāng)?shù)?2020/4．以下的等值式中，正確的是()。A．(要么p，要么q)←→((p∧﹁q)V(﹁p∧q))B．﹁(p→q)←→(p∧﹁q)C．﹁(只有p才q)←→(﹁p∧q)D．(p←→q)←→﹁(要么p，要么q)

4、A、B、C、D5．以下的斷定中，正確的是()。A．一個(gè)公式如果是重言式，則一定是可真式B．一個(gè)公式如果是矛盾式，則其否定一定是重言式C．一個(gè)公式如果是可真式，則其否定一定是不可真式，即矛盾式

5、A、B

6．一個(gè)命題推理是有效的，當(dāng)且僅當(dāng)其真值形式是()。A．重言式B．可真式6、A

7、A

8、A2020/12/27204．以下的等值式中，正確的是()。2020/12/27．如果一個(gè)推理是有效的，則()。A．如果其前提是真實(shí)的，則其結(jié)論一定是真實(shí)的B．如果其前提是虛假的，則其結(jié)論一定是虛假的

7、A

8．對(duì)于一個(gè)只有兩個(gè)選言支的相容選言推理來(lái)說(shuō)()。A．否定一個(gè)選言支，可以肯定另一個(gè)選言支B．肯定一個(gè)選言支，可以否定另一個(gè)選言支8、A9．對(duì)于不相容選言推理來(lái)說(shuō)()。A．肯定否定式是有效式B．肯定否定式是無(wú)效式C．否定肯定式是有效式D．否定肯定式是無(wú)效式9、A、C

10．對(duì)于必要條件假言推理來(lái)說(shuō)()。A．否定前件可以否定后件B．肯定后件可以肯定前件C．肯定前件不能肯定后件D．否定后件不能否定前件

10、A、B、C、D

2020/12/27217．如果一個(gè)推理是有效的，則()。2020/12/2六、指出下列各題中，A是B的什么條件(充分條件、必要條件、充要條件或不構(gòu)成條件關(guān)系)?1．A．認(rèn)識(shí)錯(cuò)誤B．改正錯(cuò)誤1、必要條件2．A．有作案行為B．有作案動(dòng)機(jī)2、不構(gòu)成條件關(guān)系3．A．吸煙成癖B．患肺癌

3、不構(gòu)成條件關(guān)系

4．A．同位角相等B．兩直線(xiàn)平行

4、充要條件

5．A．x不等于yB．y小于x

5、必要條件2020/12/2722六、指出下列各題中，A是B的什么條件(充分條件、必要條件、充七、寫(xiě)出下列復(fù)合命題的負(fù)命題的等值命題。1．這個(gè)商店的商品不但價(jià)廉，而且物美。1、這個(gè)商店的商品或者不價(jià)廉，或者不物美。2．昨晚是小張或小李值班。

2、昨晚既不是小張值班，也不是小李值班。3．人有多大膽，地有多高產(chǎn)。

3、人有很大膽，但地沒(méi)有多大產(chǎn)。4．只有經(jīng)濟(jì)發(fā)達(dá)地區(qū)，才有環(huán)境治理的問(wèn)題。

4、不是經(jīng)濟(jì)發(fā)達(dá)地區(qū)，也有環(huán)境治理的問(wèn)題。2020/12/2723七、寫(xiě)出下列復(fù)合命題的負(fù)命題的等值命題。2020/12/275．要么老張當(dāng)選代表，要么老李當(dāng)選代表。5、老張當(dāng)選代表且老李當(dāng)選代表，或者兩人都沒(méi)有當(dāng)選代表。6．當(dāng)且僅當(dāng)衣食足，才能知榮辱。6、衣食足但不知榮辱，或者，衣食不足卻知榮辱。7．只要認(rèn)識(shí)字母，就能學(xué)好外語(yǔ)。7、認(rèn)識(shí)字母卻沒(méi)有學(xué)好外語(yǔ)。8．孩子每天吃巧克力，才長(zhǎng)得好。

8、每天不吃巧克力，孩子也長(zhǎng)得好。2020/12/27245．要么老張當(dāng)選代表，要么老李當(dāng)選代表。2020/12/27八、寫(xiě)出下列復(fù)合命題的真值形式o1．明天我或者去看電影，或者去看展覽，否則就去游泳。1、﹁(p∨q）→r2．如果明天天晴并且單位不加班，那我們或者去游泳或者去劃船。2、(p∧﹁q)→(r∨s)3．如果科學(xué)家的預(yù)見(jiàn)是正確的，那么，如果我們不從現(xiàn)在起就重視環(huán)境保護(hù)，人類(lèi)終有一天將無(wú)法在這個(gè)地球上生存。3、p→(﹁q→﹁r)4．請(qǐng)勿在場(chǎng)內(nèi)吸煙、隨地吐痰、亂扔廢棄物，違者罰款。4、﹁﹁

(p∨q∨r)→s2020/12/2725八、寫(xiě)出下列復(fù)合命題的真值形式o2020/12/2725

九、用真值表方法判定下列真值形式的類(lèi)型1．(p→(q∧﹁q)→﹁p

重言式。pq﹁p﹁qq∧﹁qp→(q∧﹁q)(p→(q∧﹁q))

﹁pTTFFFFTTFFTFFTFTTFFTTFFTTFTT2020/12/2726九、用真值表方法判定下列真值形式的類(lèi)型pq﹁p﹁qq∧﹁q2．(﹁p→q)←→(P∧﹁q)

可真式。pq﹁p﹁q﹁p→qp∧﹁q(﹁p→q)?(p∧﹁q)TTFFTFFTFFTTTTFTTFTFFFFTTFFT2020/12/27272．(﹁p→q)←→(P∧﹁q)可真式。pq﹁p﹁q﹁p3．((p→q)∧﹁p)→﹁q可真式

pq﹁p﹁qp→q(p→q)∧﹁p)((p→q)∧﹁p)→﹁q

TTFFTFTTFFTFFTFTTFTTFFFTTTTT2020/12/27283．((p→q)∧﹁p)→﹁q可真式

pq﹁p﹁qp→q十、運(yùn)用有關(guān)規(guī)則，判定下列命題推理是否有效。1．航天號(hào)飛機(jī)的失事或是由于設(shè)備故障，或是由于人為破壞；已查明失事原因確系設(shè)備故障。因此，可以排除人為破壞。無(wú)效，相容選言推理不能由肯定一部分否定另一部分2．沒(méi)有調(diào)查研究就沒(méi)有發(fā)言權(quán)；我調(diào)查研究了。所以，我當(dāng)然有發(fā)言權(quán)。無(wú)效，必要條件假言推理不能由肯定前件而肯定后件。3．如果患有肝炎，一定會(huì)出現(xiàn)厭食；我最近常感厭食。因此，我準(zhǔn)是患了肝炎。無(wú)效，充分條件假言推理不能由肯定后件而肯定前件。4．便宜無(wú)好貨，所以好貨不便宜。有效，充分條件假言易位。2020/12/2729十、運(yùn)用有關(guān)規(guī)則，判定下列命題推理是否有效。2020/12/十一、分別用真值表方法和歸|謬賦值法判定下列推理的有效性。1．如果運(yùn)動(dòng)著的物體某一瞬間在這兒，那么，這一瞬間它肯定不在這兒。因此，運(yùn)動(dòng)著的物體某一瞬間既在這兒又不在這兒。運(yùn)動(dòng)著的物體某一瞬間在這兒，當(dāng)且僅當(dāng)這一瞬間它不在這兒。因此，運(yùn)動(dòng)著的物體某一瞬間既在這兒又不在這兒。（(p→﹁p)→(p∧﹁p)）（（﹁p?p）→（p∧﹁p））2020/12/2730十一、分別用真值表方法和歸|謬賦值法判定下列推理的有效性。2（(p→﹁p)→(p∧﹁p)）

（（﹁p?p）→（p∧﹁p））p﹁pp→﹁pp∧﹁p(p→﹁p)→(p∧﹁p)﹁p?p（﹁p?p）→（p∧﹁p）100010101100012020/12/2731（(p→﹁p)→(p∧﹁p)）

（（﹁p?p）→（p練習(xí)用歸謬賦值法判定下列推理的有效性1．（1）如果運(yùn)動(dòng)著的物體某一瞬間在這兒，那么，這一瞬間它肯定不在這兒。因此，運(yùn)動(dòng)著的物體某一瞬間既在這兒又不在這兒。(p→﹁p)→(p∧﹁p)

0000真假由賦值可以看出，當(dāng)p取值為假時(shí)，假設(shè)蘊(yùn)含式為假成立，即對(duì)應(yīng)的推理前提真，結(jié)論假，因此為無(wú)效式。2020/12/2732練習(xí)2020/12/2732用歸謬賦值法判定下列推理的有效性（2）運(yùn)動(dòng)著的物體某一瞬間在這兒，當(dāng)且僅當(dāng)這一瞬間它不在這兒。因此，運(yùn)動(dòng)著的物體某一瞬間既在這兒又不在這兒。(p?﹁p)→(p∧﹁p)

(p?﹁p)→(p∧﹁p)10010100由賦值可以看出，無(wú)論p取何值，假設(shè)蘊(yùn)含式為假均能推出矛盾，故假設(shè)不成立，即對(duì)應(yīng)的推理前提真，結(jié)論假不可能，因此為有效式。2020/12/2733用歸謬賦值法判定下列推理的有效性2020/12/27332．我們不可能既不保持安定局面又發(fā)展經(jīng)濟(jì)。因此，保持安定局面是發(fā)展經(jīng)濟(jì)的必要條件。保持安定局面p發(fā)展經(jīng)濟(jì)q﹁(﹁p∧q)→(q→p)pq﹁p﹁p∧q﹁(﹁p∧q)q→p﹁(﹁p∧q)→(q→p)TTFFTTTTFFFTTTFTTTFFTFFTFTTT2020/12/27342．我們不可能既不保持安定局面又發(fā)展經(jīng)濟(jì)。因此，保持安定局面2．我們不可能既不保持安定局面又發(fā)展經(jīng)濟(jì)。因此，保持安定局面是發(fā)展經(jīng)濟(jì)的必要條件。保持安定局面p發(fā)展經(jīng)濟(jì)q﹁(﹁p∧q)→(q→p)1110由賦值可以看出，當(dāng)假設(shè)蘊(yùn)含式為假時(shí)，p取值出現(xiàn)矛盾，故假設(shè)不成立，即對(duì)應(yīng)的推理前提真，結(jié)論假不可能，因此為有效式。2020/12/27352．我們不可能既不保持安定局面又發(fā)展經(jīng)濟(jì)。因此，保持安定局面12、1、(p→q)→(﹁p∨q)2、(p∧﹁q)?(﹁p∨q)3、﹁q→((p→q)→﹁p)4、(﹁q→(p→q))→﹁p2020/12/273612、2020/12/2736十二、1、(p→q)→(﹁p∨q)(1)消去→，﹁(﹁p∨q)∨(﹁p∨q)(2)內(nèi)移﹁，(﹁﹁p∧﹁q)∨(﹁p∨q)(3)消去﹁﹁，(p∧﹁q)∨(﹁p∨q)(4)分配展開(kāi)，(p∨﹁p∨q)∧(﹁q∨﹁p∨q)(4)式為合取范式，其每一合取支都是重言的簡(jiǎn)單析取式，故為重言式。(5)分配展開(kāi)，(p∧﹁q)∨﹁p∨q(5)式為析取范式，其每一析取支都不是矛盾的簡(jiǎn)單合取式，故為不是矛盾式。2020/12/2737十二、2020/12/27372、(p∧﹁q)?(﹁p∨q)(1)消去?，((p∧﹁q)∧(﹁p∨q))∨(﹁(p∧﹁q)∧﹁(﹁p∨q))(2)內(nèi)移﹁，((p∧﹁q)∧(﹁p∨q))∧((﹁p∨﹁﹁q)∧(﹁﹁p∨﹁q)(3)消去﹁﹁，((p∧﹁q)∧(﹁p∨q))∧((﹁p∨q)∧(p∨﹁q)(4)分配展開(kāi)，(p∧﹁q∧﹁p)∨(p∧﹁q∧q)∨(﹁p∧p∧﹁q)∨(q∧p∧﹁q)(4)式為析取范式，其每一析取支都是矛盾的簡(jiǎn)單合取式，故為矛盾式。(5)簡(jiǎn)化，(p∧﹁q)∧(﹁p∨q)(6)結(jié)合，p∧﹁q∧(﹁p∨q)(6)式為合取范式，其每一合取支都不是是重言的簡(jiǎn)單析取式，故為不是重言式。2020/12/27382、(p∧﹁q)?(﹁p∨q)2020/12/27383、﹁q→((p→q)→﹁p)(1)消去→，﹁﹁q∨(﹁(﹁p∨q)∨﹁p)(2)內(nèi)移﹁，﹁﹁q∨((﹁﹁p∧﹁q)∨﹁p)(3)消去﹁﹁，q∨((p∧﹁q)∨﹁p)(4)分配展開(kāi)，q∨((p∨﹁p)∧(﹁q∨﹁p))(5)分配展開(kāi)，(q∨p∨﹁p)∧(q∨﹁q∨﹁p)(5)式為合取范式，其每一合取支都是重言的簡(jiǎn)單析取式，故為重言式。(6)結(jié)合，q∨(p∧﹁q)∨﹁p(6)式為析取范式，其每一析取支都不是矛盾的簡(jiǎn)單合取式，故為不是矛盾式。2020/12/27393、﹁q→((p→q)→﹁p)2020/12/27394、(﹁q→(p→q))→﹁p(1)消去→，﹁(﹁﹁q∨(﹁p∨q))∨﹁p(2)內(nèi)移﹁，(﹁﹁﹁q∧﹁(﹁p∨q))∨﹁p(3)內(nèi)移﹁，消去﹁﹁，(﹁q∧(p∧﹁q))∨﹁p(4)結(jié)合，(﹁q∧p∧﹁q)∨﹁p(4)為析取范式，并非每一析取支都是矛盾的簡(jiǎn)單合取式，故為不是矛盾式。(5)分配展開(kāi)，(﹁q∨﹁p)∧(p∨﹁p)∧(﹁q∨﹁p)(5)式為合取范式，并非每一合取支都是重言的簡(jiǎn)單析取式，故不是重言式。2020/12/27404、(﹁q→(p→q))→﹁p2020/12/2740十三、推理的蘊(yùn)涵式為：(p→q)∧r∧﹁(r∧q)→﹁p(1)消去→，﹁((﹁p∨q)∧r∧﹁(r∧q)∨﹁p(2)內(nèi)移﹁，(﹁(﹁p∨q)∨﹁r∨﹁﹁(r∧q))∨﹁p(3)內(nèi)移﹁，((﹁﹁p∧﹁q)∨﹁r∨﹁﹁(r∧q))∨﹁p(4)消去﹁﹁，((p∧﹁q)∨﹁r∨(r∧q))∨﹁p(5)分配展開(kāi)，((p∨﹁r∨r)∧(p∨﹁r∨q)∧(﹁q∨﹁r∨r)∧(﹁q∨﹁r∨q))﹁p(6)分配展開(kāi)，(p∨﹁r∨r∨﹁p)

(p∨﹁r∨q∨﹁p)∧(﹁q∨﹁r∨r∨﹁p)∧(﹁q∨﹁r∨q∨﹁p)(6)為推理的合取范式，其每一合取支皆為重言式，故合取范式為重言式，推理有效。2020/12/2741十三、推理的蘊(yùn)涵式為：(p→q)∧r∧﹁(r∧q)→﹁p20

十四．運(yùn)用命題邏輯的知識(shí)，解答下列問(wèn)題。l．某排球隊(duì)有1號(hào)、3號(hào)、4號(hào)、6號(hào)、9號(hào)和12,號(hào)等六名主力隊(duì)員。他們之間的最佳配合有如下幾條規(guī)律：①要是4號(hào)上場(chǎng)，6號(hào)也要上場(chǎng)；②只有1號(hào)不上場(chǎng)，3號(hào)才不上場(chǎng)；⑧要么3號(hào)上場(chǎng)，要么6號(hào)上場(chǎng)；④如果9號(hào)和12號(hào)同時(shí)上場(chǎng)，則4號(hào)也要上場(chǎng)。某場(chǎng)比賽要1號(hào)和12號(hào)同時(shí)上場(chǎng)。問(wèn)：為了保持最佳陣容，這場(chǎng)比賽中，9號(hào)該不該上場(chǎng)?寫(xiě)出推理分析過(guò)程。

2020/12/2742十四．運(yùn)用命題邏輯的知識(shí)，解答下列問(wèn)題。2020/12/2

十二．運(yùn)用命題邏輯的知識(shí)，解答下列問(wèn)題。l．某排球隊(duì)有1號(hào)、3號(hào)、4號(hào)、6號(hào)、9號(hào)和12,號(hào)等六名主力隊(duì)員。他們之間的最佳配合有如下幾條規(guī)律：④如果9號(hào)和12號(hào)同時(shí)上場(chǎng)，則4號(hào)也要上場(chǎng)。①要是4號(hào)上場(chǎng)，6號(hào)也要上場(chǎng)；⑧要么3號(hào)上場(chǎng)，要么6號(hào)上場(chǎng)；——3號(hào)不上場(chǎng)②只有1號(hào)不上場(chǎng)，3號(hào)才不上場(chǎng)；——1號(hào)不上場(chǎng)“1號(hào)不上場(chǎng)”與“某場(chǎng)比賽要1號(hào)和12號(hào)同時(shí)上場(chǎng)”矛盾，所以，9號(hào)不該上場(chǎng)。2020/12/2743十二．運(yùn)用命題邏輯的知識(shí)，解答下列問(wèn)題。2020/12/2(6)1號(hào)上場(chǎng)

(5)聯(lián)言推理分解式(7)3號(hào)上場(chǎng)

(2)(6)必要條件假言推理否定前件式(8)6號(hào)不上場(chǎng)

(3)(7)不相容選言推理否定肯定式(9)4號(hào)不上場(chǎng)

(1)(8)充分條件假言推理否定后件式(10)9號(hào)和12號(hào)不同時(shí)上場(chǎng)

(4)(9)充分條件假言推理否定后件式(11)9號(hào)不上場(chǎng)或12號(hào)不上場(chǎng)

(10)負(fù)命題等值轉(zhuǎn)換(12)12號(hào)上場(chǎng)

(5)聯(lián)言推理分解式(13)9號(hào)不上場(chǎng)

(11)(12)相容選言推理否定肯定式2020/12/2744(6)1號(hào)上場(chǎng)

(5)聯(lián)言推理2．某商店失竊，職員甲、乙、丙、丁四人涉嫌被調(diào)查。甲說(shuō)：我沒(méi)作案，作案的是乙。乙說(shuō)：我和丙都沒(méi)作案。丙說(shuō)：除非甲作案，否則乙不會(huì)作案。丁說(shuō)：甲和丙兩人至少有一人作案。已知甲、乙、丙、丁四人中只有一人說(shuō)真話(huà)。問(wèn)：誰(shuí)作案?誰(shuí)說(shuō)真話(huà)?寫(xiě)出推理分析過(guò)程。2020/12/27452．某商店失竊，職員甲、乙、丙、丁四人涉嫌被調(diào)查。2020/2．某商店失竊，職員甲、乙、丙、丁四人涉嫌被調(diào)查。甲說(shuō)：我沒(méi)作案，作案的是乙。乙說(shuō)：我和丙都沒(méi)作案。丙說(shuō)：除非甲作案，否則乙不會(huì)作案。丁說(shuō)：甲和丙兩人至少有一人作案。已知甲、乙、丙、T四AU,J--A說(shuō)真話(huà)。問(wèn)：誰(shuí)作案?誰(shuí)說(shuō)真話(huà)?寫(xiě)出推理分析過(guò)程。解析：甲說(shuō)：甲沒(méi)作案，作案的是乙。丙說(shuō)：除非甲作案，否則乙不會(huì)作案?！妆徽嬉患偃绻鎰t丁真，與已知矛盾。所以甲真。2020/12/27462．某商店失竊，職員甲、乙、丙、丁四人涉嫌被調(diào)查。2020/3．某大百貨商店被盜。甲、乙、丙三人涉嫌被拘審后，警方查明了以下事實(shí)：①罪犯是帶著贓物坐小汽車(chē)逃走的。②不伙同甲，丙不會(huì)作案。③乙不會(huì)開(kāi)汽車(chē)。④罪犯就是這三個(gè)中的一個(gè)或一伙。問(wèn)：甲是否作案?2020/12/27473．某大百貨商店被盜。甲、乙、丙三人涉嫌被拘審后，警方查明了3．某大百貨商店被盜。甲、乙、丙三人涉嫌被拘審后，警方查明了以下事實(shí)：①罪犯是帶著贓物坐小汽車(chē)逃走的。②不伙同甲，丙不會(huì)作案。③乙不會(huì)開(kāi)汽車(chē)。④罪犯就是這三個(gè)中的一個(gè)或一伙。問(wèn)：甲是否作案?解析：甲如果沒(méi)有作案，丙也不會(huì)作案，乙又不可能單獨(dú)作案，與題目矛盾。所以甲作案。2020/12/27483．某大百貨商店被盜。甲、乙、丙三人涉嫌被拘審后，警方查明了4．某島上的男人分成騎士和無(wú)賴(lài)。騎士只講真話(huà)，無(wú)賴(lài)只講假話(huà)。而騎士又分成貧窮的和富有的兩部分。有一個(gè)姑娘，她只愛(ài)貧窮的騎士。有一個(gè)騎士，只說(shuō)了一句話(huà)，就使得這姑娘確信他是一個(gè)貧窮的騎士。問(wèn)：這騎士說(shuō)了一句什么樣的話(huà)?這姑娘又是如何根據(jù)這句話(huà)推斷出他是貧窮的騎士的?2020/12/27494．某島上的男人分成騎士和無(wú)賴(lài)。騎士只講真話(huà)，無(wú)賴(lài)只講假話(huà)。4、這位騎士說(shuō)的話(huà)是：“我不是富有的騎士?！睙o(wú)賴(lài)總說(shuō)假話(huà)，他不會(huì)說(shuō)這句話(huà)，否則就是說(shuō)真話(huà)了；富有的騎士總說(shuō)真話(huà)，也不會(huì)說(shuō)這句話(huà)，否則就是在說(shuō)假話(huà)了。這句話(huà)只能由貧窮的騎士說(shuō)。2020/12/27504、這位騎士說(shuō)的話(huà)是：“我不是富有的騎士?！?020/12/5．古代有個(gè)智者犯了死罪，國(guó)王在執(zhí)行他的死刑時(shí)留給他一個(gè)機(jī)會(huì)，希望他能運(yùn)用智慧拯救自己的生命。國(guó)王對(duì)智者說(shuō)：“在你面前站著兩個(gè)衛(wèi)兵，他們手中各端著一瓶外觀完全一樣的酒。其中一瓶是美酒，一瓶是毒酒。兩個(gè)衛(wèi)兵互知道對(duì)方的底細(xì)，并且有問(wèn)必答，只是其中一人只答真話(huà)，另一人只答假話(huà)。外人不知道他們誰(shuí)說(shuō)真話(huà)，誰(shuí)說(shuō)假話(huà)。現(xiàn)在只允許你問(wèn)其中的一個(gè)衛(wèi)兵一個(gè)問(wèn)題，然后根據(jù)得到的回答判定哪瓶是美酒，并且把它喝下去。如果你判斷錯(cuò)了，那么，就執(zhí)行你的死刑；如果你判斷對(duì)了，那么你就自由了?！敝钦咚妓髌蹋瑔?wèn)了一個(gè)士兵一個(gè)問(wèn)題，然后根據(jù)得到的回答將一瓶酒一飲而盡，他喝的果然是美酒!問(wèn)：智者的問(wèn)題是什么?他是如何根據(jù)所得到的回答推斷出哪瓶是美酒的?2020/12/27515．古代有個(gè)智者犯了死罪，國(guó)王在執(zhí)行他的死刑時(shí)留給他一個(gè)機(jī)會(huì)5、隨意走到任意一個(gè)人面前，指著另一個(gè)人問(wèn)：如果我問(wèn)他的話(huà)，他會(huì)說(shuō)哪一瓶是美酒？然后根據(jù)答案選擇與答案相反的另外一瓶酒，即為美酒。解釋?zhuān)海?）假設(shè)您問(wèn)的是說(shuō)真話(huà)的人，那么他會(huì)如實(shí)告知你——那位說(shuō)假話(huà)的會(huì)欺騙您說(shuō)哪瓶是美酒，自然我們必須作出相反的選擇。（2）假設(shè)您問(wèn)的是說(shuō)假話(huà)的人，那么他會(huì)欺騙您——不會(huì)如實(shí)告訴您真話(huà)的人的正確判斷，那么我們也該作出相反的選擇。簡(jiǎn)言之，真的假話(huà)和假的真話(huà)其實(shí)都是假話(huà)。假話(huà)我們只要反著聽(tīng)，就可以萬(wàn)事OK啦！2020/12/27525、隨意走到任意一個(gè)人面前，指著另一個(gè)人問(wèn)：如果我問(wèn)他的話(huà)，6．以下是甲、乙、丙三位領(lǐng)導(dǎo)選派出國(guó)人員的意見(jiàn)，試問(wèn)是否存在一種選派方案，使甲、乙、丙三位領(lǐng)導(dǎo)的要求同時(shí)滿(mǎn)足?(要求寫(xiě)出推理過(guò)程)甲：如果不選派小方，那么不選派小王。乙：如果不選派小王，那么選派小方。丙：要么選派小王，要么選派小方。2020/12/27536．以下是甲、乙、丙三位領(lǐng)導(dǎo)選派出國(guó)人員的意見(jiàn)，試問(wèn)是否存在6．以下是甲、乙、丙三位領(lǐng)導(dǎo)選派出國(guó)人員的意見(jiàn)，試問(wèn)是否存在一種選派方案，使甲、乙、丙三位領(lǐng)導(dǎo)的要求同時(shí)滿(mǎn)足?(要求寫(xiě)出推理過(guò)程)甲：如果不選派小方，那么不選派小王。乙：如果不選派小王，那么選派小方。丙：要么選派小王，要么選派小方。解析：選派小方，不選派小王丙：小王、小方只能且必須選派一個(gè)。乙：如果不選派小王，那么選派小方。甲：選派小方，不選派小王。2020/12/27546．以下是甲、乙、丙三位領(lǐng)導(dǎo)選派出國(guó)人員的意見(jiàn)，試問(wèn)是否存在7．已知：(1)只有破獲03案件，才能確認(rèn)甲、乙、丙三人都是罪犯。(2)03案件沒(méi)有破獲。(3)如果甲不是罪犯，則甲的供詞是真的，而甲說(shuō)乙不是罪犯。(4)如果乙不是罪犯，則乙的供詞是真的，而乙說(shuō)自己與丙是好朋友。(5)現(xiàn)查明：丙根本不認(rèn)識(shí)乙。問(wèn)：根據(jù)上述已知情況，甲、乙、丙三人中，誰(shuí)是罪犯?誰(shuí)不是罪犯?請(qǐng)寫(xiě)出推導(dǎo)過(guò)程。2020/12/27557．已知：2020/12/27557．已知：(4)如果乙不是罪犯，則乙的供詞是真的，而乙說(shuō)自己與丙是好朋友。(5)現(xiàn)查明：丙根本不認(rèn)識(shí)乙?！沂亲锓?3)如果甲不是罪犯，則甲的供詞是真的，而甲說(shuō)乙不是罪犯。——甲是罪犯(1)只有破獲03案件，才能確認(rèn)甲、乙、丙三人都是罪犯。(2)03案件沒(méi)有破獲。——丙不能確認(rèn)是罪犯。2020/12/27567．已知：2020/12/2756

8．A、B、C三人從政法大學(xué)畢業(yè)后，一個(gè)當(dāng)上了律師，一個(gè)當(dāng)上了法官，另一個(gè)當(dāng)上了檢察官。但究竟擔(dān)任什么工作，人們開(kāi)始并不清楚，于是作出了如下猜測(cè)：甲：A當(dāng)上了律師，B當(dāng)上了法官。乙：A當(dāng)上了法官，C當(dāng)上了律師。丙：A當(dāng)上了檢察官，B當(dāng)上了律師。后來(lái)證實(shí)，甲、乙、丙三個(gè)的猜測(cè)都只是對(duì)了一半。請(qǐng)問(wèn)：A、B、C三人各擔(dān)任什么司法工作?寫(xiě)出推導(dǎo)過(guò)程。2020/12/27578．A、B、C三人從政法大學(xué)畢業(yè)后，一個(gè)當(dāng)上了律師，一個(gè)當(dāng)

8．A、B、C三人從政法大學(xué)畢業(yè)后，一個(gè)當(dāng)上了律師，一個(gè)當(dāng)上了法官，另一個(gè)當(dāng)上了檢察官。但究竟擔(dān)任什么工作，人們開(kāi)始并不清楚，于是作出了如下猜測(cè)：甲：A當(dāng)上了律師，B當(dāng)上了法官。乙：A當(dāng)上了法官，C當(dāng)上了律師。丙：A當(dāng)上了檢察官，B當(dāng)上了律師。解析“B當(dāng)上了法官”和“B當(dāng)上了律師”一真一假。如果“B當(dāng)上了法官”假，那么“A當(dāng)上了律師”真，推出丙全句錯(cuò)。不合題意。所以“B當(dāng)上了法官”真，“A當(dāng)上了檢察官”真，C當(dāng)上了律師。2020/12/27588．A、B、C三人從政法大學(xué)畢業(yè)后，一個(gè)當(dāng)上了律師，一個(gè)當(dāng)

9．已知：(1)若甲和乙都參加了公務(wù)員考試，則丙不參加公務(wù)員考試。(2)只有乙參加公務(wù)員考試，丁才參加公務(wù)員考試。(3)甲和丙都參加了公務(wù)員考試。問(wèn)：乙和丁是否參加了公務(wù)員考試?請(qǐng)寫(xiě)出推導(dǎo)過(guò)程。解析(3)甲和丙都參加了公務(wù)員考試。(1)若甲和乙都參加了公務(wù)員考試，則丙不參加公務(wù)員考試。——乙沒(méi)有參加公務(wù)員考試(2)只有乙參加公務(wù)員考試，丁才參加公務(wù)員考試。——丁沒(méi)有參加公務(wù)員考試2020/12/27599．已知：2020/12/2759

9．已知：(1)若甲和乙都參加了公務(wù)員考試，則丙不參加公務(wù)員考試。(2)只有乙參加公務(wù)員考試，丁才參加公務(wù)員考試。(3)甲和丙都參加了公務(wù)員考試。問(wèn)：乙和丁是否參加了公務(wù)員考試?請(qǐng)寫(xiě)出推導(dǎo)過(guò)程。解析由（3）（1）→丙參加公務(wù)員考試，并非甲和乙都參加了公務(wù)員考試。（否定后件否定前件）→或者甲不參加，或者乙不參加。（負(fù)聯(lián)言命題的等值式）→乙不參加（相容選言命題否定看到式）有(2)→丁不參加(必要條件否定前件否定后件)2020/12/27609．已知：2020/12/276010．下面三句話(huà)兩真一假，試說(shuō)明王強(qiáng)和趙平至少有一個(gè)是電工。(I)如果李明不是木工，那么王強(qiáng)是電工。(2)如果張?jiān)皇悄竟ぃ敲蹿w平是電工。(3)李明和張?jiān)际悄竟ぁ?020/12/276110．下面三句話(huà)兩真一假，試說(shuō)明王強(qiáng)和趙平至少有一個(gè)是電10．下面三句話(huà)兩真一假，試說(shuō)明王強(qiáng)和趙平至少有一個(gè)是電工。(I)如果李明不是木工，那么王強(qiáng)是電工。(2)如果張?jiān)皇悄竟?，那么趙平是電工。(3)李明和張?jiān)际悄竟?。解析：設(shè)(3)真：則要求（1）（2）都真。（否定后件否定前件）與題干矛盾，所以（3）假。即：并非李明和張?jiān)际悄竟?。等值于：或者李明不是木工或者張?jiān)皇悄竟ぁＳ?I)如果李明不是木工，那么王強(qiáng)是電工。(2)如果張?jiān)皇悄竟?，那么趙平是電工。可知王強(qiáng)和趙平至少有一個(gè)是電工。2020/12/276210．下面三句話(huà)兩真一假，試說(shuō)明王強(qiáng)和趙平至少有一個(gè)是電

11．根據(jù)下列真語(yǔ)句，請(qǐng)判斷是誰(shuí)謀害了張先生。(1)A、B、C三人中至少有一人。(2)如果張先生生前未飲過(guò)麻醉劑，那不是C。(3)如果張先生曾飲過(guò)麻醉劑，那不是A。(4)如果是A謀害的，那么B也參加。(5)如果作案在落雨前，則是A謀害的。(6)如果作案不在落雨前，張先生臨死前搏斗過(guò)。(7)張先生臨死前搏斗過(guò)，就不是B謀害的。(8)經(jīng)過(guò)法醫(yī)解剖化驗(yàn)，張先生死前曾飲過(guò)麻醉劑。2020/12/276311．根據(jù)下列真語(yǔ)句，請(qǐng)判斷是誰(shuí)謀害了張先生。2020/1

11．根據(jù)下列真語(yǔ)句，請(qǐng)判斷是誰(shuí)謀害了張先生。(3)如果張先生曾飲過(guò)麻醉劑，那不是A。(8)經(jīng)過(guò)法醫(yī)解剖化驗(yàn)，張先生死前曾飲過(guò)麻醉劑。（肯定前件肯定后件）(5)如果作案在落雨前，則是A謀害的?！靼冈诼溆旰螅ǚ穸ê蠹穸ㄇ凹?6)如果作案不在落雨前，張先生臨死前搏斗過(guò)。(7)張先生臨死前搏斗過(guò)，就不是B謀害的。(1)A、B、C三人中至少有一人。(2)如果張先生生前未飲過(guò)麻醉劑，那不是C。(8)經(jīng)過(guò)法醫(yī)解剖化驗(yàn)，張先生死前曾飲過(guò)麻醉劑。所以是C2020/12/276411．根據(jù)下列真語(yǔ)句，請(qǐng)判斷是誰(shuí)謀害了張先生。2020/112．一件謀殺案，經(jīng)過(guò)周密調(diào)查得到了下面的真確事實(shí)：(1)兇手是甲或者是乙。(2)若兇手是甲，則謀殺不會(huì)發(fā)生在午夜前。(3)若乙的供詞是正確的，則謀殺發(fā)生在午夜前。(4)若乙的供詞不正確，則在午夜前受害者房里燈光未滅。(5)在午夜前受害者房里燈光滅了。請(qǐng)問(wèn)：到底誰(shuí)是兇手?寫(xiě)出推理過(guò)程。2020/12/276512．一件謀殺案，經(jīng)過(guò)周密調(diào)查得到了下面的真確事實(shí)：202012．一件謀殺案，經(jīng)過(guò)周密調(diào)查得到了下面的真確事實(shí)：(2)若兇手是甲，則謀殺不會(huì)發(fā)生在午夜前。(3)若乙的供詞是正確的，則謀殺發(fā)生在午夜前。(4)若乙的供詞不正確，則在午夜前受害者房里燈光未滅。(5)在午夜前受害者房里燈光滅了。解析(4)若乙的供詞不正確，則在午夜前受害者房里燈光未滅。(5)在午夜前受害者房里燈光滅了?！业墓┰~是正確的，（則否定后件否定前件）(3)若乙的供詞是正確的，謀殺發(fā)生在午夜前。(2)若兇手是甲，則謀殺不會(huì)發(fā)生在午夜前。——兇手不是甲（否定后件否定前件）(1)兇手是甲或者是乙?！獌词质且?。（否定肯定式）2020/12/276612．一件謀殺案，經(jīng)過(guò)周密調(diào)查得到了下面的真確事實(shí)：2020

13．破某金庫(kù)被盜案件時(shí)，調(diào)查后發(fā)現(xiàn)該金庫(kù)五名工作人員進(jìn)金庫(kù)的情況是：(1)當(dāng)A進(jìn)去時(shí)，B也進(jìn)去。(2)D或E至少有一個(gè)可進(jìn)去。(3)B和C有且只有一個(gè)能進(jìn)去。(4)當(dāng)且僅當(dāng)D進(jìn)去時(shí)C才進(jìn)去。(5)如果E進(jìn)去則A和D也進(jìn)去。請(qǐng)問(wèn)：五人中到底誰(shuí)進(jìn)去過(guò)?誰(shuí)沒(méi)進(jìn)去過(guò)?寫(xiě)出推理分析過(guò)程。

2020/12/276713．破某金庫(kù)被盜案件時(shí)，調(diào)查后發(fā)現(xiàn)該金庫(kù)五名工作人員進(jìn)金

13．破某金庫(kù)被盜案件時(shí)，調(diào)查后發(fā)現(xiàn)該金庫(kù)五名工作人員進(jìn)金庫(kù)的情況是：(1)當(dāng)A進(jìn)去時(shí)，B也進(jìn)去。(2)D或E至少有一個(gè)可進(jìn)去。(3)B和C有且只有一個(gè)能進(jìn)去。(4)當(dāng)且僅當(dāng)D進(jìn)去時(shí)C才進(jìn)去。(5)如果E進(jìn)去則A和D也進(jìn)去。設(shè)

2020/12/276813．破某金庫(kù)被盜案件時(shí)，調(diào)查后發(fā)現(xiàn)該金庫(kù)五名工作人員進(jìn)金解析13、設(shè)B進(jìn)去(6)C不能進(jìn)去(3)(6)不相容選言推理肯定否定式(7)D不能進(jìn)去(4)(6)充分必要條件假言推理否定后件式(8)E