學(xué)堂在線 邏輯學(xué)概論 期末考試答案

1、單選題“凡是命題演算的公理系統(tǒng)，都由三條公理模式、一條推演規(guī)則構(gòu)成”。這一說法是否正確？A正確B不正確正確答案：B2、單選題((p1→((p1→p1)→p1))→((p1→(p1→p1))→(p1→p1)))是：AL中符合L1的公理BL中符合L2的公理CL中符合L3的公理D不是L的公理正確答案：B3、多選題命題演算的公理系統(tǒng)L包含L1、L2、L3、MP。已知L具有可靠性、完全性、公理獨(dú)立性。在L中去掉L3得到公理系統(tǒng)L’。L’具有（可多選）：A可靠性B完全性C公理獨(dú)立性正確答案：A,C4、單選題命題演算的公理系統(tǒng)L的定理集和復(fù)合命題推理的重言式集二者之間的關(guān)系是：A交叉關(guān)系B包含關(guān)系C全同關(guān)系D矛盾關(guān)系E反對(duì)關(guān)系正確答案：C5、單選題有詞項(xiàng)A和B，A的外延也都是B的外延，B的外延卻不一定是A的外延。A對(duì)于B的關(guān)系是：A全同關(guān)系B包含關(guān)系C包含于關(guān)系D交叉關(guān)系E全異關(guān)系正確答案：C6、單選題從“有金屬是導(dǎo)體”可以推出的是：A所有金屬都是導(dǎo)體B并非所有金屬都是導(dǎo)體C并非所有金屬都不是導(dǎo)體D有金屬不是導(dǎo)體正確答案：C7、單選題從(?y)(?x)R(x,y)能推出的是：A(?y)(?x)R(x,y)B(?x)(?y)R(x,y)C(?x)(?y)R(x,y)D(?y)(?x)R(x,y)正確答案：B8、單選題在盧卡西維茨的三值邏輯中，若p的真值為1，q的真值為2，r的真值為3，那么（（（?p）∨q）→r）的真值是：A1B2C3正確答案：B9、單選題論證中的論據(jù)，相當(dāng)于推理中的：A前提B結(jié)論C有效推理形式正確答案：A10、單選題邏輯學(xué)研究的對(duì)象是：A世界的普遍規(guī)律B客觀事物的規(guī)律性C人們的行為準(zhǔn)則D人們的思維方式E推理正確答案：E11、單選題有效推理形式不能是：A從真前提得到真結(jié)論B從真前提得到假結(jié)論C從假前提得到真結(jié)論D從假前提得到假結(jié)論正確答案：B12、單選題在西方被尊為“邏輯學(xué)之父”的是：A德謨克利特B蘇格拉底C柏拉圖D亞里士多德E培根正確答案：D13、單選題作為數(shù)理邏輯形成標(biāo)志的《數(shù)學(xué)原理》的作者有：A培根B萊布尼茨C布爾D羅素E劉易斯正確答案：D14、多選題以下哪些是命題？（可多選）A今天不是晴天B下雪C5大于3D3大于5E3大于5嗎？正確答案：A,C,D15、多選題與（p∧q∧r）等值的是：（可多選）A（p∧r∧q）B（p∧（q∧r））C（（?（p∧q））→（?r））D（?（（p∧q）→（?r）））正確答案：A,B,D16、單選題以下不能直接表示“蘊(yùn)涵”的是：A如果……那么B若……則C只要……就D只有……才E一……就正確答案：D17、多選題以下哪些是重言式？（可多選）A（（?p）∨p）B（（（p→q）∧（?q））→（?p））C（（（?p）∨（?q））→（?（p∨q）））D（（?（p∨q））→（（?p）∧（?q）））E（（(p∨q)∧(p→r)∧(q→s)）→(r∨s)）正確答案：A,B,D,E18、單選題判定下列推理形式是否為有效推理形式：(p→q)(q→r)(r→s)——————————（（?s）→（?p））A是B不是正確答案：A19、多選題析取范式和合取范式中可出現(xiàn)的命題聯(lián)接詞是（可多選）：A否定B合