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