形式邏輯第一題_2025年《非全日制研究生管綜-邏輯》每日一練
來源：東奧會計在線責(zé)編：李凡2025-05-23 15:35:10
各位非全日制研究生考生好，今日份每日一練已準備好。在考試中，假言命題通常不會考查非常簡單的形式，近年來常常需要將題干中的假言命題首尾串聯(lián)，利用命題后件之間的矛盾來解題。下面這道題很典型，我們一起聯(lián)系一下吧！
【題目】某大學(xué)進行校園形象動物評選。對于喜鵲、松鼠、狐貍、刺猬、烏鴉和白鷺6種動物能否進入初選，有人預(yù)測如下：
(1)上述6種動物中若至少有4種入選，則刺猬和松鼠均入選。
(2)若松鼠、狐貍和烏鴉中至少有1種入選，則喜鵲入選，而刺猬不會入選。
評選結(jié)果表明，上述預(yù)測正確。
根據(jù)以上信息，關(guān)于上述6種動物的入選情況，可以得出以下哪項?( )
A.至多有3種入選。
B.至少有3種入選。
C.烏鴉和刺猬均未入選。
D.烏鴉和刺猬至少有1種入選。
E.白鷺、松鼠和狐貍中至少有1種入選。
【答案】A
【解析】本題串聯(lián)條件(1)和條件(2)，可得如下邏輯鏈：6種動物中至少選4種→刺猬→┐松鼠Λ┐狐貍Λ┐烏鴉，如果6種動物中至少選4種為真，此時可以推出松鼠、狐貍和烏鴉都不入選，與假設(shè)矛盾，因此6種動物中至多有3種入選，A項為真。
【知識點】形式邏輯-假言命題-假言命題的串聯(lián)
如果我們對知識點足夠熟練，可以直接觀察兩個命題，找到相同的元素，判斷是否存在矛盾。本題我們就可以看到“刺猬”和“松鼠”就是(1)和(2)都在重復(fù)的元素，這兩個元素就是本題解題的關(guān)鍵。想要get更多備考小技巧，可以點此咨詢老師~
相關(guān)文章
津公網(wǎng)安備12010202000755號