實(shí)驗(yàn)邏輯學(xué) 知到智慧樹網(wǎng)課答案

實(shí)驗(yàn)邏輯學(xué)-知到答案、智慧樹答案緒論單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：Boole中的語句不能粘貼到Fitch中。（）選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】第一章單元測試1、問題：要打開，點(diǎn)擊文件。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：在中，要打開事先保存的世界文件和語句文件，可以點(diǎn)擊File菜單中的Open命令。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：在中，要保存一份世界文件，最安全的命令是。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：在棋盤上放置一個(gè)模塊，點(diǎn)擊工具欄中的（）。選項(xiàng)：A:New按鈕按鈕C:PlayGame按鈕D:打印按鈕答案:【New按鈕】5、問題：要?jiǎng)h除一個(gè)世界文件的方法之一是（）。選項(xiàng)：A:點(diǎn)擊New按鈕B:在File菜單中，點(diǎn)擊Clear命令C:點(diǎn)擊PlayGame按鈕D:按鈕答案:【在File菜單中，點(diǎn)擊Clear命令】6、問題：當(dāng)你在語句窗口中，輸入的是一個(gè)合式公式時(shí)，靠近語句標(biāo)號(hào)的左邊顯示（）。選項(xiàng)：A:FB:TC:+D:*答案:【+】7、問題：在中，模塊的大小有（）這幾種情況。選項(xiàng)：A:大B:中C:小D:較小答案:【大;中;小】8、問題：在中，模塊的形狀有（）這幾種情況。選項(xiàng)：A:錐體B:立方體C:十二面球體D:圓答案:【錐體;立方體;十二面球體】9、問題：在中，一個(gè)模塊的名字可以有（）。選項(xiàng)：A:一個(gè)B:兩個(gè)C:三個(gè)D:四個(gè)答案:【一個(gè);兩個(gè);三個(gè);四個(gè)】10、問題：不允許給一個(gè)模塊命名多個(gè)名字。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】第二章單元測試1、問題：要打開Fitch，點(diǎn)擊文件Fitch.exe.選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：在Fitch中，要打開Fitch練習(xí)文件夾中的文件，可以使用File菜單中的Open命令。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：在Fitch中，要保存一份已完成的證明，用SaveAs命令。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】4、問題：在Fitch的一個(gè)證明過程中，要在一行的前面增加一行，點(diǎn)擊Proof菜單中的（）。選項(xiàng)：A:AddStepAfter命令B:AddStepBefore命令C:Delete命令D:AddPremise命令答案:【AddStepBefore命令】5、問題：表示焦點(diǎn)滑塊的符號(hào)是（）。選項(xiàng)：A:紅色的三角形圖標(biāo)B:圓圈圖標(biāo)C:問號(hào)圖標(biāo)D:?圖標(biāo)答案:【紅色的三角形圖標(biāo)】6、問題：在Fitch的Proof菜單中，CollapseSubproof命令表示（）。選項(xiàng)：A:展開子證明B:刪除子證明C:壓縮子證明D:保存子證明答案:【壓縮子證明】7、問題：Fitch中證明窗口的語句可以粘貼到（）中。選項(xiàng)：A:B:Fitch的目標(biāo)窗口C:BooleD:文檔答案:【;Fitch的目標(biāo)窗口;Boole;文檔】8、問題：Fitch中的聯(lián)結(jié)詞規(guī)則分為（）。選項(xiàng)：A:引理B:引入規(guī)則C:消去規(guī)則D:結(jié)論規(guī)則答案:【引入規(guī)則;消去規(guī)則】9、問題：在Fitch中，檢查一個(gè)步驟是否正確，點(diǎn)擊工具欄中的CheckStep后，可能出現(xiàn)下面哪些符號(hào)？（）選項(xiàng)：A:×B:cC:√D:?答案:【×;√;?】10、問題：Fitch與不同，它沒有自帶的練習(xí)文件夾。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】第三章單元測試1、問題：要打開Boole，點(diǎn)擊文件Boole.exe。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：在Boole中，要保存一份已完成的真值表，用SaveAs命令最安全。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：在Boole中，創(chuàng)建參考列，最好讓Boole幫你完成。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：在Boole中，創(chuàng)建一個(gè)新的真值表有：（）。選項(xiàng)：A:一個(gè)步驟B:兩個(gè)步驟C:三個(gè)步驟D:四個(gè)步驟答案:【三個(gè)步驟】5、問題：在Boole中，驗(yàn)證一個(gè)真值表包含：（）。選項(xiàng)：A:三個(gè)步驟B:兩個(gè)步驟C:一個(gè)步驟D:四個(gè)步驟答案:【三個(gè)步驟】6、問題：在Boole中，Help菜單可以使你在使用Boole時(shí)獲得幫助，還可以（）。選項(xiàng)：A:構(gòu)造真值表B:建立參考列C:檢查是否可以更新D:檢查真值表是否正確答案:【檢查是否可以更新】7、問題：在Boole中，驗(yàn)證一個(gè)真值表包含：（）。選項(xiàng)：A:驗(yàn)證表的每一行B:檢驗(yàn)表的完全性和正確性C:檢驗(yàn)?zāi)愕脑u(píng)價(jià)是否正確D:驗(yàn)證參考列答案:【驗(yàn)證表的每一行;檢驗(yàn)表的完全性和正確性;檢驗(yàn)?zāi)愕脑u(píng)價(jià)是否正確;驗(yàn)證參考列】8、問題：建立參照列的方法有（）。選項(xiàng)：A:自己手動(dòng)完成B:Boole幫你完成C:老師幫你完成D:同學(xué)幫你完成答案:【自己手動(dòng)完成;Boole幫你完成】9、問題：創(chuàng)建一個(gè)新的真值表的步驟有（）。選項(xiàng)：A:填入真值B:建立參考列C:指定目標(biāo)語句D:計(jì)算結(jié)果答案:【填入真值;建立參考列;指定目標(biāo)語句;計(jì)算結(jié)果】10、問題：Boole與Fitch相同，也有一個(gè)自帶的練習(xí)文件夾。（）選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】第四章單元測試1、問題：在一階邏輯的語言FOL中，每個(gè)個(gè)體常項(xiàng)必須命名一個(gè)實(shí)際存在的對(duì)象。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：一個(gè)個(gè)體常項(xiàng)不能命名多個(gè)對(duì)象。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：一個(gè)對(duì)象不能有多個(gè)名字。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：在的模塊語言中，只有（）個(gè)一元謂詞。選項(xiàng)：A:1B:6C:12D:25答案:【6】5、問題：在的模塊語言中，只有（）個(gè)三元謂詞。選項(xiàng)：A:1B:6C:12D:25答案:【1】6、問題：在的模塊語言中，只有（）個(gè)二元謂詞。選項(xiàng)：A:1B:6C:12D:25答案:【12】7、問題：在的模塊語言中，個(gè)體常項(xiàng)是（）。選項(xiàng)：A:aB:xC:bD:y答案:【a;b】8、問題：在的模塊語言中，個(gè)體變項(xiàng)是（）。選項(xiàng)：A:aB:xC:yD:b答案:【x;y】9、問題：在的模塊語言中，刻畫性質(zhì)和關(guān)系的謂詞有（）。選項(xiàng)：A:一元謂詞B:二元謂詞C:三元謂詞D:四元謂詞答案:【一元謂詞;二元謂詞;三元謂詞】10、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】第五章單元測試1、問題：非形式證明和形式證明在風(fēng)格上不同。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：形式證明和非形式證明在嚴(yán)謹(jǐn)性上相同。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：形式證明比非形式證明嚴(yán)謹(jǐn)。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4（、問題：一個(gè)論證是一系列陳述，其中一個(gè)陳述稱為結(jié)論，結(jié)論意味著其他陳述的后承，其他陳述稱為）。選項(xiàng)：A:后承B:前提C:結(jié)論D:子結(jié)論答案:【前提】5、問題：如果在前提是真實(shí)的任何情況下結(jié)論必須是真的，則稱論證是（）。選項(xiàng)：A:有效的B:可靠的C:完全的D:無效的答案:【有效的】6、問題：邏輯上有效的論證的結(jié)論是其前提的（）。選項(xiàng)：A:一個(gè)前件B:兩個(gè)前件C:一個(gè)邏輯后承D:三個(gè)前件答案:【一個(gè)邏輯后承】7、問題：一個(gè)論證是可靠的，需要滿足下面的哪些條件。選項(xiàng)：A:有真有假的B:有效的C:前提和結(jié)論都真D:假的答案:【有效的;前提和結(jié)論都真】8、問題：每個(gè)n元謂詞被解釋為一個(gè)與謂詞有相同元數(shù)的（）。選項(xiàng)：A:性質(zhì)B:關(guān)系C:個(gè)體詞D:個(gè)體常項(xiàng)答案:【性質(zhì);關(guān)系】9、問題：恒等的自反性是指：（）。選項(xiàng)：A:a=aB:b=cC:a1aD:?(a1a)答案:【a=a;?(a1a)】10、問題：形式證明比非形式證明簡單。（）選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】第六章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：選項(xiàng)：A:B:C:D:答案:【】6、問題：如果P和Q是FOL語句，那么（）也是。選項(xiàng)：A:B:C:D:答案:【】7、問題：選項(xiàng)：A:真、假B:假、真C:真、真D:假、假答案:【真、真】8、問題：選項(xiàng)：A:B:C:D:答案:【;】9、問題：選項(xiàng)：A:B:C:D:答案:【;;】10、問題：選項(xiàng)：A:B:C:D:答案:【;;;】第七章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：選項(xiàng)：A:B:C:D:答案:【】6、問題：S是一個(gè)重言式當(dāng)且僅當(dāng)S的真值表的每一行的真值（）。選項(xiàng)：A:都為假B:都為真C:有真有假D:有假有真答案:【都為真】7、問題：有一些必然真語句是（）。選項(xiàng)：A:永假式B:矛盾式C:可滿足式D:重言式答案:【重言式】8、問題：如果S是一個(gè)重言式，那么S是（）。選項(xiàng)：A:邏輯真的B:邏輯不可能的C:邏輯必然的D:必然真的答案:【邏輯真的;邏輯必然的】9、問題：如果S是一個(gè)重言式，那么它也是（）語句。選項(xiàng)：A:邏輯真必然真C:矛盾的D:不可滿足的答案:【邏輯真;必然真】10、問題：有些必然真語句不是（）。選項(xiàng)：A:可滿足式B:邏輯真語句C:重言式D:矛盾式答案:【邏輯真語句;重言式;矛盾式】第八章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】5、問題：沒有前提的一個(gè)證明表明它是系統(tǒng)的一條（）。選項(xiàng)：A:邏輯后承B:矛盾式C:可滿足式D:定理答案:【定理】6、問題：選項(xiàng)：A:B:C:D:答案:【】7、問題：選項(xiàng)：A:B:C:D:答案:【】8、問題：選項(xiàng)：A:B:C:D:答案:【;】9、問題：選項(xiàng)：A:B:C:D:答案:【;】10、問題：從前提P1，P2得到的一個(gè)矛盾^的證明，表明（）是不一致的。選項(xiàng)：A:B:C:D:答案:【;】第九章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：沒有前提的一個(gè)證明表明它的結(jié)論是一條（）。選項(xiàng)：A:邏輯真理B:矛盾式C:可滿足式D:永假式答案:【邏輯真理】6、問題：選項(xiàng)：A:B:C:D:答案:【】7、問題：選項(xiàng)：A:B:C:D:答案:【】8、問題：選項(xiàng)：A:B:C:D:答案:【;】9、問題：選項(xiàng)：A:PB:QC:SD:R答案:【P;Q;S;R】10、問題：選項(xiàng)：A:B:C:D:答案:【;;;】第十章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：選項(xiàng)：A:B:C:D:答案:【】5、問題：選項(xiàng)：A:B:C:D:答案:【】6、問題：選項(xiàng)：A:重言式B:邏輯真語句C:重言等值D:矛盾式答案:【重言等值】7、問題：選項(xiàng)：A:B:C:D:答案:【;】8、問題：選項(xiàng)：A:B:C:D:答案:【;;】9、問題：德摩根律是指：（）。選項(xiàng)：A:B:C:D:答案:【;】10、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】第十一章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：選項(xiàng)：A:B:C:D:答案:【】6、問題：選項(xiàng)：A:B:C:D:答案:【】7、問題：選項(xiàng)：A:B:C:D:答案:【】8、問題：選項(xiàng)：A:B:C:D:答案:【;;】9、問題：選項(xiàng)：A:B:C:D:答案:【;;;】10、問題：在Fitch中，等值引入規(guī)則要求給出兩個(gè)子證明，它們表明（）。選項(xiàng)：A:P可以從Q推出B:Q可以從P推出C:P不能從Q推出D:Q不能從P推出答案:【P可以從Q推出;Q可以從P推出】第十二章單元測試1、問題：一階語言FOL有無窮多個(gè)變項(xiàng)。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：一個(gè)語句（閉公式）是一個(gè)沒有自由變項(xiàng)的公式。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：每個(gè)邏輯真語句都是重言式。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：一個(gè)一階語言FOL不可以沒有常項(xiàng)。（）選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：選項(xiàng)：A:自由出現(xiàn)B:約束出現(xiàn)，但不是自由出現(xiàn)C:不出現(xiàn)D:出現(xiàn)答案:【自由出現(xiàn)】6、問題：選項(xiàng)：A:約束出現(xiàn)，但不是自由出現(xiàn)B:自由出現(xiàn)C:不出現(xiàn)D:出現(xiàn)答案:【自由出現(xiàn)】7、問題：一個(gè)量化語句是一個(gè)重言式當(dāng)且僅當(dāng)它的真值函項(xiàng)形式是一個(gè)（）。選項(xiàng)：A:矛盾式B:可滿足式C:重言式D:永假式答案:【重言式】8、問題：選項(xiàng)：A:B:C:D:答案:【;】9、問題：所有重言式都是（）。選項(xiàng)：A:一階有效的B:邏輯真的C:不是一階有效式D:塔斯基世界必然真的答案:【邏輯真的;塔斯基世界必然真的】10、問題：下面哪些公式是亞里士多德語句形式。選項(xiàng)：A:B:C:D:答案:【;;】第十三章單元測試1、問題：一階語言FOL有無窮多個(gè)常項(xiàng)。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】2、問題：一個(gè)語句（閉公式）是一個(gè)沒有自由變項(xiàng)的公式。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：每個(gè)邏輯真語句都是必然真語句。選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】4、問題：選項(xiàng)：A:自由出現(xiàn)B:約束出現(xiàn)，但不是自由出現(xiàn)C:不出現(xiàn)D:出現(xiàn)答案:【自由出現(xiàn)】5、問題：選項(xiàng)：A:約束出現(xiàn)，但不是自由出現(xiàn)B:自由出現(xiàn)C:不出現(xiàn)D:出現(xiàn)答案:【自由出現(xiàn)】6、問題：在中，（）表示個(gè)體常項(xiàng)。選項(xiàng)：A:PB:wC:aD:y答案:【a】7、問題：選項(xiàng)：A:B:C:D:答案:【;;】8、問題：下面哪些公式是亞里士多德語句形式。選項(xiàng)：A:B:C:D:答案:【;】9、問題：一個(gè)語言FOL可以沒有謂詞。（）選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】10、問題：一個(gè)開公式是至少有一個(gè)自由變項(xiàng)的公式。（）選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】第十四章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：選項(xiàng)：A:某一立方體在某一錐體的左邊B:每一立方體都在某一錐體的左邊C:某一立方體都在每一錐體的左邊D:每一立方體都在每一錐體的左邊答案:【某一立方體在某一錐體的左邊】6、問題：選項(xiàng)：A:某一立方體在某一錐體的左邊B:每一立方體都在每一錐體的左邊C:每一立方體都在某一錐體的左邊D:某一立方體都在每一錐體的左邊答案:【每一立方體都在每一錐體的左邊】7、問題：選項(xiàng)：A:B:C:D:答案:【】8、問題：在Fitch中，系統(tǒng)F的全稱量詞規(guī)則有（）。選項(xiàng)：A:全稱量詞引入規(guī)則B:全稱量詞規(guī)則C:全稱量詞消去規(guī)則D:全稱量化詞規(guī)則答案:【全稱量詞引入規(guī)則;全稱量詞消去規(guī)則】9、問題：在Fitch中，系統(tǒng)F的存在量詞規(guī)則有（）。選項(xiàng)：A:存在量詞引入規(guī)則B:存在量詞消去規(guī)則C:存在量詞規(guī)則D:存在量化詞規(guī)則答案:【存在量詞引入規(guī)則;存在量詞消去規(guī)則】10、問題：選項(xiàng)：A:B:C:D:答案:【;;】第十五章單元測試1、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】2、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】3、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【對(duì)】4、問題：選項(xiàng)：A:對(duì)B:錯(cuò)答案:【錯(cuò)】5、問題：選項(xiàng)：A:這里c是定義域中的一個(gè)對(duì)象B:c必須是個(gè)體常項(xiàng)C:c是模塊語言中的個(gè)體常項(xiàng)D:c是模塊語言中的個(gè)體變項(xiàng)答案:【這里c是定義域中的一個(gè)對(duì)象】6、問題：選項(xiàng)：A:c是模塊語言中的個(gè)體常項(xiàng)B:這里c是定義域中的一個(gè)對(duì)象C:c必須是個(gè)體常項(xiàng)D:c是模塊語言中的個(gè)體變項(xiàng)答案:【這里c是定義域中的一個(gè)對(duì)象】7、問題：選項(xiàng)：A:B:C:D:答案:【】8、問題：選項(xiàng)：A:B:C:D:答案:【;;;】9、問題：在Fitch中，系統(tǒng)F的存在量詞規(guī)則有（）。選項(xiàng)：A:存在量詞引入規(guī)則B:存在量詞消去規(guī)則C:存在量詞規(guī)則D:存在量詞化規(guī)則答案:【存在量詞引入規(guī)則;存在量詞消去規(guī)則】10、問題：