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

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

2、×

3、√

4、×

5、×

6、×

7、×

8、√

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

(1)p→q

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

(1)p→二、用真值表判定以下兩個真值形式的等值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二、用真值表判定以下兩個真值形式的等值o

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

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

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

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

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

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

如果以上陳述為真，以下哪項陳述一定為真?

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

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

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

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

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

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

2、A、B

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

3、A、B

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

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

2、A、B

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

3、A、B

2020/12/2719五、在以下各句的括號中填人哪個或哪些選項是適當(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．一個公式如果是重言式，則一定是可真式B．一個公式如果是矛盾式，則其否定一定是重言式C．一個公式如果是可真式，則其否定一定是不可真式，即矛盾式

5、A、B

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

7、A

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

7、A

8．對于一個只有兩個選言支的相容選言推理來說()。A．否定一個選言支，可以肯定另一個選言支B．肯定一個選言支，可以否定另一個選言支8、A9．對于不相容選言推理來說()。A．肯定否定式是有效式B．肯定否定式是無效式C．否定肯定式是有效式D．否定肯定式是無效式9、A、C

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

10、A、B、C、D

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

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

4．A．同位角相等B．兩直線平行

4、充要條件

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2020/12/2742十四．運用命題邏輯的知識，解答下列問題。2020/12/2

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

(5)聯(lián)言推理分解式(7)3號上場

(2)(6)必要條件假言推理否定前件式(8)6號不上場

(3)(7)不相容選言推理否定肯定式(9)4號不上場

(1)(8)充分條件假言推理否定后件式(10)9號和12號不同時上場

(4)(9)充分條件假言推理否定后件式(11)9號不上場或12號不上場

(10)負命題等值轉(zhuǎn)換(12)12號上場

(5)聯(lián)言推理分解式(13)9號不上場

(11)(12)相容選言推理否定肯定式2020/12/2744(6)1號上場

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

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

8．A、B、C三人從政法大學(xué)畢業(yè)后，一個當(dāng)上了律師，一個當(dāng)上了法官，另一個當(dāng)上了檢察官。但究竟擔(dān)任什么工作，人們開始并不清楚，于是作出了如下猜測：甲：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)上了律師”真，推出丙全句錯。不合題意。所以“B當(dāng)上了法官”真，“A當(dāng)上了檢察官”真，C當(dāng)上了律師。2020/12/27588．A、B、C三人從政法大學(xué)畢業(yè)后，一個當(dāng)上了律師，一個當(dāng)

9．已知：(1)若甲和乙都參加了公務(wù)員考試，則丙不參加公務(wù)員考試。(2)只有乙參加公務(wù)員考試，丁才參加公務(wù)員考試。(3)甲和丙都參加了公務(wù)員考試。問：乙和丁是否參加了公務(wù)員考試?請寫出推導(dǎo)過程。解析(3)甲和丙都參加了公務(wù)員考試。(1)若甲和乙都參加了公務(wù)員考試，則丙不參加公務(wù)員考試。——乙沒有參加公務(wù)員考試(2)只有乙參加公務(wù)員考試，丁才參加公務(wù)員考試?！]有參加公務(wù)員考試2020/12/27599．已知：2020/12/2759

9．已知：(1)若甲和乙都參加了公務(wù)員考試，則丙不參加公務(wù)員考試。(2)只有乙參加公務(wù)員考試，丁才參加公務(wù)員考試。(3)甲和丙都參加了公務(wù)員考試。問：乙和丁是否參加了公務(wù)員考試?請寫出推導(dǎo)過程。解析由（3）（1）→丙參加公務(wù)員考試，并非甲和乙都參加了公務(wù)員考試。（否定后件否定前件）→或者甲不參加，或者乙不參加。（負聯(lián)言命題的等值式）→乙不參加（相容選言命題否定看到式）有(2)→丁不參加(必要條件否定前件否定后件)2020/12/27609．已知：2020/12/276010．下面三句話兩真一假，試說明王強和趙平至少有一個是電工。(I)如果李明不是木工，那么王強是電工。(2)如果張元不是木工，那么趙平是電工。(3)李明和張元都是木工。2020/12/276110．下面三句話兩真一假，試說明王強和趙平至少有一個是電10．下面三句話兩真一假，試說明王強和趙平至少有一個是電工。(I)如果李明不是木工，那么王強是電工。(2)如果張元不是木工，那么趙平是電工。(3)李明和張元都是木工。解析：設(shè)(3)真：則要求（1）（2）都真。（否定后件否定前件）與題干矛盾，所以（3）假。即：并非李明和張元都是木工。等值于：或者李明不是木工或者張元不是木工。由(I)如果李明不是木工，那么王強是電工。(2)如果張元不是木工，那么趙平是電工?？芍鯊姾挖w平至少有一個是電工。2020/12/276210．下面三句話兩真一假，試說明王強和趙平至少有一個是電

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

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

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

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

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

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