邏輯思維演繹推理初賽試題單項選擇題（每題2分，共20分）1.下列哪個推理形式是有效的？A.如果P，則Q；非P；因此，QB.如果P，則Q；Q；因此，PC.P或者Q；非P；因此，非QD.P且Q；非P；因此，Q2.下列哪項最能加強“所有S都是P”的結(jié)論？A.一些S是PB.所有P都是SC.沒有S是非PD.一些P是非S3.在三段論中，如果前提之一是特稱命題（如“有些S是P”），則該三段論是：A.完全歸納推理B.演繹推理C.歸納推理D.非形式推理4.下列哪個命題是“所有A都是B”的逆否命題？A.所有B都是AB.所有非B都是非AC.所有非A都是BD.所有A都不是B5.如果一個命題的否定是真的，則該命題是：A.可能真的B.必然假的C.不確定的D.與其逆命題等價6.下列哪個選項表示的是一個充分不必要條件？A.P當且僅當QB.如果P，則QC.P當且僅當非QD.如果非P，則Q7.下列哪個推理不存在邏輯錯誤？A.所有的貓都是動物；這只狗是貓；因此，這只狗是動物B.所有的鳥都會飛；企鵝是鳥；因此，企鵝會飛C.所有的金屬都導電；鐵是金屬；因此，鐵導電D.所有的花都是紅的；這朵花是白的；因此，這朵花不是花8.下列哪項是關于“若P則Q”為真，而“若非Q則非P”也為真的正確陳述？A.P是Q的充分條件B.P是Q的必要條件C.P是Q的充要條件D.P與Q無關9.下列哪種謬誤涉及錯誤地將一個復雜原因歸結(jié)為單一簡單原因？A.滑坡謬誤B.以人廢言C.事后歸因謬誤D.過度簡化因果10.下列哪個不是形式化邏輯系統(tǒng)的一個組成部分？A.命題B.推理規(guī)則C.語義解釋D.個人偏好多項選擇題（每題4分，共40分）11.下列哪些項是有效推理形式的例子？A.假言推理的肯定后件形式B.選言推理的否定肯定形式C.三段論的AAI形式（全稱肯定前提-全稱肯定前提-特稱肯定結(jié)論）D.歸納推理的枚舉形式12.下列哪些是關于“邏輯等價”的正確說法？A.如果兩個命題在所有情況下都有相同的真值，則它們是邏輯等價的B.邏輯等價關系是對稱的C.邏輯等價關系是可傳遞的D.任何命題都與其自身邏輯等價13.下列哪些是關于條件命題（如果P，則Q）的正確說法？A.如果P為真且Q為假，則“如果P，則Q”為假B.如果P為假，則“如果P，則Q”為真C.“如果P，則Q”的邏輯等價表述是“非Q，則非P”D.“如果P，則Q”的真假與Q的真假無關14.下列哪些推理涉及形式謬誤？A.偷換概念B.以偏概全C.訴諸沉默D.中項不周延15.下列哪些是關于集合論的基本概念和運算？A.并集B.交集C.補集D.差集16.下列哪些是關于模態(tài)邏輯的正確說法？A.模態(tài)邏輯涉及必然性和可能性的概念B.“必然P”的否定是“可能非P”C.“可能P”的否定是“必然非P”D.模態(tài)邏輯不考慮時間因素17.下列哪些是關于歸納推理的正確說法？A.歸納推理的結(jié)論是必然真的B.歸納推理的結(jié)論是或然真的C.歸納推理的前提越多，結(jié)論越可靠D.歸納推理依賴于觀察或經(jīng)驗18.下列哪些是關于演繹推理的正確說法？A.演繹推理的結(jié)論是必然從前提中得出的B.演繹推理的前提越多，結(jié)論越可靠C.演繹推理的結(jié)論可能超出前提的范圍D.演繹推理不涉及歸納過程19.下列哪些是關于邏輯聯(lián)結(jié)詞“且”和“或”的正確說法？A.“P且Q”為真當且僅當P和Q都為真B.“P或Q”為真當且僅當P和Q都為真C.“P且Q”的否定是“非P或非Q”D.“P或Q”的否定是“非P且非Q”20.下列哪些是關于形式化證明的正確說法？A.形式化證明是一系列根據(jù)推理規(guī)則得出的命題序列B.形式化證明不考慮命題的實際意義C.形式化證明可以機械地驗證D.形式化證明總是能找到最短路徑判斷題（每題2分，共20分）21.一個命題的逆命題和否命題總是邏輯等價的。（）22.在三段論中，如果兩個前提都是特稱的，則該三段論的形式是無效的。（）23.“所有S都是P，Q是S，因此Q是P”是一個有效的演繹推理形式。（）24.一個命題的逆否命題與其原命題邏輯等價。（）25.歸納推理的結(jié)論總是必然真的。（）26.在模態(tài)邏輯中，“可能P”意味著P在某些可能世界中是真的。（）27.“如果P，則Q”的邏輯形式可以表示為P→Q。（）28.一個有效的演繹推理的前提和結(jié)論之間必然存在邏輯必然聯(lián)系。（）29.形式化邏輯系統(tǒng)只關心命題之間的形式關系，而不關心命題的實際內(nèi)容。（）30.在形式化證明中，每一步推理都必須嚴格遵循預先定義的推理規(guī)則。（）填空題（每題2分，共20分）31.在三段論中，中項在前提中至少應出現(xiàn)____次。32.如果一個命題的否定是假的，則該命題是____的。33.“所有A都是B，C是A，因此C是____”是一個典型的三段論推理形式。34.在模態(tài)邏輯中，“必然P”通常表示為____。35.形式化邏輯系統(tǒng)中的____是指用來構(gòu)建和評估推理的規(guī)則集。36.歸納推理的結(jié)論是基于對____的觀察或經(jīng)驗得出的。37.在邏輯學中，一個命題的____命題是通過同時否定該命題的主項和謂項得到的。38.如果一個推理的前提和結(jié)論之間存在____聯(lián)系，則該推理是有效的。39.在形式化證明中，每一步都必須是____得出的。40.“如果P，則Q”的逆命題是“如果____，則P”。答案：單項選擇題：1.D2.C3.C4.B5.B6.B7.C8.C9.D10.D多項選擇題：11.BC12.ABCD13.ABC14.ABCD15.ABCD16.AC17.BD18.AD1