海濱形式邏輯

1、第一章海濱形式邏輯、海濱形式邏輯-基礎(chǔ)知識基礎(chǔ)知識(一)：三個推理規(guī)則規(guī)則名稱內(nèi)容逆否A一 B=B 一A(2)傳遞A- B,BfC=>Z B-C逆否傳遞A 一 B 一 C=C-B 一A基礎(chǔ)知識(二)：十一種邏輯關(guān)系卜一種邏輯關(guān)系序號符號讀聯(lián)結(jié)詞含義1A且但、且、既又、同時同時成立2V或或者或者；至少有一個至少有一個3要么要么要么；二者必居其一；不是就是只能有一個4否并非、不同意、為假不成立5前推后(1)假設(shè)：必須；如果那么；只要就(2)現(xiàn)實：是；所有都充分條件6后推前(1)只有才；(只有；才)(2)A是B的必要條件(先決條件、前提、基礎(chǔ))必要條件7<>互推當(dāng)且僅當(dāng)；A是B的唯

2、一必要條件8A一B沒有(一個)A是B9A一 B除非A,否則B; (A,否則B; B,除非A;)10有A一 B有(有的/ 一些/有些)是三個特性：(1)不確定性(2)不能逆否(3)互換特性11無連接詞因果關(guān)?。阂蚬?2)推理關(guān)系：誰出現(xiàn)會導(dǎo)致誰基礎(chǔ)知識(三)：六種關(guān)系(一)矛盾關(guān)系(必一真一假)(1) A,A(2)都,有的不(3)都不，有的(4) A-B, AN b B(二)反對關(guān)系(5)有的，有的不(至少一真)(6)者B,都不(至少一假)例1.已知“所有的鳥都會飛”為真，判斷以下各命題的情況：(是真、是假、還 是不確定？)(1)所有的鳥都不會飛。(2)有的鳥會飛。(3)有的鳥不會飛。(4)鴕鳥

3、會飛。(5)鴕鳥不會飛。例2.已知“所有的鳥都會飛”為假，判斷以下各命題的真假情況：(1)所有的鳥都不會飛。(2)有的鳥會飛。(3)有的鳥不會飛。(4)鴕鳥會飛。(5)鴕鳥不會飛。例3.已知“所有的鳥都不會飛”為假，判斷以下各項的真假情況：(1)所有的鳥都會飛。(2)有的鳥會飛。(3)有的鳥不會飛( 4) 鴕 鳥會飛。( 5) 鴕 鳥不會飛。題型 1：模態(tài)命題例 4. ( 2003-1-49 )不必然任何經(jīng)濟(jì)發(fā)展都導(dǎo)致生態(tài)惡化，但不可能有不阻礙經(jīng)濟(jì)發(fā)展的生態(tài)惡化。以下哪項最為準(zhǔn)確地表達(dá)了題干的含義？A 任何經(jīng)濟(jì)發(fā)展都不必然導(dǎo)致生態(tài)惡化，但任何生態(tài)惡化都必然阻礙經(jīng)濟(jì)發(fā)展。B.有的經(jīng)濟(jì)發(fā)展可能導(dǎo)致

4、生態(tài)惡化，而任何生態(tài)惡化都可能阻礙經(jīng)濟(jì)發(fā)展。C.有的經(jīng)濟(jì)發(fā)展可能不導(dǎo)致生態(tài)惡化，但任何生態(tài)惡化都可能阻礙經(jīng)濟(jì)發(fā)展。D.有的經(jīng)濟(jì)發(fā)展可能不導(dǎo)致生態(tài)惡化，但任何生態(tài)惡化都必然阻礙經(jīng)濟(jì)發(fā)展。E.任何經(jīng)濟(jì)發(fā)展都可能不導(dǎo)致生態(tài)惡化，但有的生態(tài)惡化必然阻礙經(jīng)濟(jì)發(fā)展。例 5. ( 2008-1-58 )人都不可能不犯錯誤，不一定所有人都會犯嚴(yán)重錯誤。如果上述斷定為真，則以下哪項一定為真？A.人都可能犯錯誤，但有的人可能不犯嚴(yán)重錯誤。B.人都可能犯錯誤，但所有的人都可能不犯嚴(yán)重錯誤。C.人都一定會犯錯誤，但有的人可能不犯嚴(yán)重錯誤。D.人都一定會犯錯誤，但所有的人都可能不犯嚴(yán)重錯誤。E.人都可能會犯錯誤，但有的

5、人一定不犯嚴(yán)重錯誤。題型 2：摩根公式例 6. ( 2002-1-48 )總經(jīng)理：我主張小王和小孫兩人中至少提拔一人。董事長：我不同意。以下哪項，最為準(zhǔn)確地表述了董事長實際上同意的意思？A.小王和小孫兩人都得提拔。B.小王和小孫兩人都不提拔。C.小王和小孫兩人中至多提拔一人。D.如果提拔小王，則不提拔小孫。E.如果不提拔小王，則提拔小孫。例 7. ( 1999-10-57 、 2002-10-13 )小董并非既懂英文又懂法語。如果上述斷定為真，那么下述哪項斷定必定為真？A.小董懂英文但不懂法語。B.小董懂法語但不懂英文。C.小董既不懂英文也不懂法語。D.如果小董懂英文，小董一定不懂法語。E.如

6、果小董不懂法語，那么他一定懂英文。例 8. ( 2005-1-42 )對所有產(chǎn)品都進(jìn)行了檢查，并沒有發(fā)現(xiàn)假冒偽劣產(chǎn)品。如果上述斷定為假，則以下哪項為真？I .有的產(chǎn)品尚未經(jīng)檢查，但發(fā)現(xiàn)了假冒偽劣產(chǎn)品。n.或者有的產(chǎn)品尚未經(jīng)過檢查，或者發(fā)現(xiàn)了假冒偽劣產(chǎn)品。田.如果對所有產(chǎn)品都進(jìn)行了檢查，則可發(fā)現(xiàn)假冒偽劣產(chǎn)品。A.僅I B.僅n C.僅mD.僅I和n e. ii和田題型 3：單步推理例 9. ( 2004-10-44 )如果 鴻圖 公司的虧損進(jìn)一步加大，那么是胡經(jīng)理不稱職；如果沒有絲毫撤換胡經(jīng)理的意向，那么胡經(jīng)理就是稱職的；如果公司的領(lǐng)導(dǎo)班子不能團(tuán)結(jié)一心，那么是胡經(jīng)理不稱職。如果上述斷定為真，并且

7、事實上胡經(jīng)理不稱職，那么以下哪項一定為真？A.公司的虧損進(jìn)一步加大了。B.出現(xiàn)了撤換胡經(jīng)理的意向。C.公司的領(lǐng)導(dǎo)班子仍不能團(tuán)結(jié)一心。D.公司的虧損進(jìn)一步加大，并且出現(xiàn)撤換胡經(jīng)理的意向。E.領(lǐng)導(dǎo)班子不能團(tuán)結(jié)一心，并且出現(xiàn)撤換胡經(jīng)理的意向。 例 10. ( 2009-10-27 )林斌一周工作五天，除非這周內(nèi)有法定休假日。上周林斌工作了六天。如果上述斷定為真，以下哪項一定為真？A.上周可能有也可能沒有法定休假日。B.上周林斌至少有一天在法定工作日工作。C.上周一定有法定休假日。D.上周一定沒有法定休假日。E.以上各項都不一定為真。例 11 ( 2015-1-47 )如果把一杯酒倒進(jìn)一桶污水中，你得

8、到的是一桶污水；如果把一杯污水倒進(jìn)一桶酒中，你得到的仍然是一桶污水。在任何組織中，都可能存在幾個難纏人物，他們存在的目的似乎就是把事情搞糟。如果一個組織不加強(qiáng)內(nèi)部管理，一個正直能干的人進(jìn)入某低效的部門就會被吞沒，而一個無德無才者很快就能將一個高效的部門變成一盤散沙。根據(jù)以上信息，可以得出以下哪項？A.如果組織中存在幾個難纏人物，很快就會把組織變成一盤散沙。B.如果不將一杯污水倒進(jìn)一桶酒中，你就不會得到一桶污水。C.如果一個正直能干的人在低效部門沒有被吞沒，則該部門加強(qiáng)了內(nèi)部管理。D.如果一個正直能干的人進(jìn)入組織，就會使組織變得更為高效。E.如果一個無德無才的人把組織變成一盤散沙，則該組織沒有加

9、強(qiáng)內(nèi)部管理。例 12 ( 2015-1-50 )有關(guān)數(shù)據(jù)顯示，2011 年全球新增870萬結(jié)核病患者，同時有 140 萬患者死亡。因為結(jié)核病對抗生素有耐藥性，所以對結(jié)核病的治療一直都進(jìn)展緩慢。如果不能在近幾年消除結(jié)核病，那么還會有數(shù)百萬人死于結(jié)核病。如果要控制這種流行病，就要有安全、廉價的疫苗。目前有12 種新疫苗正在測試之中。根據(jù)以上信息，可以得出以下哪項？A.有了安全、廉價的疫苗，我們就能控制結(jié)核病。B.新疫苗一旦應(yīng)用于臨床，將有效控制結(jié)核病的傳播。C.只有在近幾年消除結(jié)核病，才能避免數(shù)百萬人死于這種疾病。D.如果解決了抗生素的耐藥性問題，結(jié)核病治療將會獲得突破性進(jìn)展。E 2011 年結(jié)核

10、病患者死亡率已達(dá)16.1%例 13. ( 2009-10-47 )任何國家，只有穩(wěn)定，才能發(fā)展。以下各項都符合題干的條件，除了A.任何國家，如果得到發(fā)展，則一定穩(wěn)定。B.任何國家，除非穩(wěn)定，否則不能發(fā)展。C.任何國家，不可能穩(wěn)定但不發(fā)展。D.任何國家，或者穩(wěn)定，或者不發(fā)展。E.任何國家，不可能發(fā)展但不穩(wěn)定。例14 ( 2014-10-50 )只要這個社會中繼續(xù)有騙子存在并且某些人心中有貪念，那么就一定有人會被騙。因此，如果社會進(jìn)步到了沒有一個人被騙，那么在該社會 中的人們必定普遍地消除了貪念。以下哪項最能支持上述論證？A.貪念越大越容易被騙。B.社會進(jìn)步了，騙子也就不復(fù)存在了。C.隨著社會的進(jìn)

11、步，人的素質(zhì)將普遍提高，貪念也將逐漸被消除。D.不管在什么社會，騙子總是存在的。E.騙子的騙術(shù)就在于巧妙地利用了人們的貪念。例 15. ( 2013-1-49 )在某次綜合性學(xué)術(shù)年會上，物理學(xué)會作學(xué)術(shù)報告的人都來自高校；化學(xué)學(xué)會作學(xué)術(shù)報告人有些來自高校，但是大部分來自中學(xué)；其他作學(xué)術(shù)報告者均來自科學(xué)院。來自高校的學(xué)術(shù)報告者都具有副教授以上職稱，來自中學(xué)的學(xué)術(shù)報告者都具有中教高級以上職稱。李默 、張 嘉 參加了這次綜合性學(xué)術(shù)年會，李默 并非來自中學(xué)，張嘉 并非來自高校。以上陳述如果為真，可以得出以下哪項結(jié)論？A.張嘉如果作了學(xué)術(shù)報告，那么他不是物理學(xué)會的。B.李默不是化學(xué)學(xué)會的。C.李默如果作了

12、學(xué)術(shù)報告，那么他不是化學(xué)學(xué)會的。D.張嘉不具有副教授以上職稱。E.張嘉不是物理學(xué)會的。題型 4：傳遞推理例 16. ( 2015-1-51 )一個人如果沒有崇高的信仰，就不可能守住道德的底線； 而一個人只有不斷加強(qiáng)理論學(xué)習(xí)，才能始終保持崇高的信仰。根據(jù)以上信息，可以得出以下哪項？A. 一個人沒能守住道德的底線，是因為他首先喪失了崇高的信仰。B. 一個人只要有崇高的信仰，就能守住道德的底線。C. 一個人只有不斷加強(qiáng)理論學(xué)習(xí)，才能守住道德的底線。D. 一個人如果不能守住道德的底線，就不可能保持崇高的信仰。E. 一個人只要不斷加強(qiáng)理論學(xué)習(xí)，就能守住道德的底線。例 17.( 2014-10-32)如果

13、馬來西亞航空公司的客機(jī)沒有發(fā)生故障，也沒有被恐怖組織劫持，那就一定是被導(dǎo)彈擊落了。如果客機(jī)被導(dǎo)彈擊落，一定會被衛(wèi)星發(fā)現(xiàn)；如果衛(wèi)星發(fā)現(xiàn)客機(jī)被導(dǎo)彈擊落，一定會向媒體公布。如果要得到“飛機(jī)被恐怖組織劫持了”這一結(jié)論，需要補(bǔ)充以下哪項？A.客機(jī)沒有被導(dǎo)彈擊落。B.沒有導(dǎo)彈擊落客機(jī)的報道，客機(jī)也沒有發(fā)生故障。C.客機(jī)沒有發(fā)生故障。D.客機(jī)發(fā)生了故障，沒有導(dǎo)彈擊落客機(jī)。E.客機(jī)沒有發(fā)生故障，衛(wèi)星發(fā)現(xiàn)客機(jī)被導(dǎo)彈擊落。例 18.( 2010-1-46 )相互尊重是相互理解的基礎(chǔ)，相互理解是相互信任的前提：在人與人的相互交往中，自重、自信也是非常重要的，沒有一個人尊重不自重的人，沒有一個人信任他所不尊重的人。以

14、上陳述可以推出以下哪項結(jié)論？A.不自重的人也不被任何人信任。B.相互信任才能相互尊重。C.不自信的人也不自重。D.不自信的人也不被任何人信任。E.不自信的人也不受任何人尊重。例 19. （ 2015-1-43 ）為防御電腦受到病毒侵襲，研究人員開發(fā)了防御病毒、查殺病毒的程序，前者啟動后能使程序運行免受病毒侵襲，后者啟動后能迅速查殺電腦中可能存在的病毒。某臺電腦上現(xiàn)裝有甲、乙、丙三種程序，已知：（ 1）甲程序能查殺目前已知的所有病毒；（ 2）若乙程序不能防御已知的一號病毒，則丙程序也不能查殺該病毒；（ 3）只有丙程序能防御已知的一號病毒，電腦才能查殺目前已知的所有病毒；（ 4）只有啟動甲程序，才能啟動丙程序；根據(jù)上述信息，可以得出以下哪項？A.如果啟動了丙程序，就能防御并查殺一號病毒。B.如果啟動了乙程序，那么不必啟動丙程序也能查殺一號病毒。C.只有啟動了乙程序，才能防御并查殺一號病毒。D.只有啟動丙程序，才能防御并查殺一號病毒。E.如果啟動了甲程序，那么不必啟動乙程序也能查殺所有病毒。 例 20. （