實驗邏輯學知到智慧樹期末考試答案題庫2025年南開大學

實驗邏輯學知到智慧樹期末考試答案題庫2025年南開大學非形式證明和形式證明在風格上不同。

答案:對重言式都是（）語句。

答案:邏輯真邏輯上有效的論證的結(jié)論是其前提的（）。

答案:一個邏輯后承通常，稱每兩兩不同的對象在某關(guān)系中成立，需要一個形如（）的語句。

答案:通常，稱每兩兩不同的對象在某關(guān)系中成立，需要一個形如（）的語句。通常，稱有兩個不同的對象在某關(guān)系中成立，需要一個形如（）的語句。

答案:通常，稱有兩個不同的對象在某關(guān)系中成立，需要一個形如（）的語句。通常，稱有兩個不同的對象在某關(guān)系中成立，不是下面的（）的語句。

答案:通常，稱有兩個不同的對象在某關(guān)系中成立，不是下面的（）的語句。謂詞符號的“元數(shù)”告訴你，它需要幾個常項可以形成一個原子公式。

答案:對謂詞符號的“元數(shù)”告訴你，它需要幾個常項可以形成一個（）公式。

答案:原子謂詞符號的“元數(shù)”告訴你，它需要幾個（）可以形成一個原子公式。

答案:常項；變項謂詞符號是用來表達對象的某個性質(zhì)或者對象之間的某種（）的符號。

答案:關(guān)系謂詞符號是用來表達對象的某個（

）的符號。

答案:性質(zhì)；關(guān)系要打開Tarski’sWorld，點擊文件Tarski’sWorld.exe。

答案:對要打開Fitch，點擊文件Fitch.exe.

答案:對要打開Boole，點擊文件Boole.exe。

答案:對要刪除一個世界文件的方法之一是（）。

答案:在File菜單中，點擊Clear命令表示焦點滑塊的符號是（）。

答案:紅色的三角形圖標系統(tǒng)F不具有可靠性。（）

答案:錯系統(tǒng)F不具有可靠性。

答案:錯真值包括（）。

答案:真；假沒有前提的一個證明表明它的結(jié)論是一條（）。

答案:邏輯真理沒有前提的一個證明表明它是系統(tǒng)的一條（

）。

答案:定理每個邏輯真語句都是重言式。

答案:錯每個邏輯真語句都是Tarski’sWorld必然真語句。

答案:對每個謂詞符號都帶有一個固定的“元數(shù)”。

答案:對每個n元謂詞被解釋為一個與謂詞有相同元數(shù)的（）。

答案:性質(zhì)；關(guān)系有些邏輯真語句是（）語句。

答案:重言式有些邏輯真語句是（）。

答案:重言式有些塔斯基世界必然真語句是（）語句。

答案:重言式有些塔斯基世界必然真語句是（）。

答案:重言式；邏輯真有些Tarskis’World必然真語句不是（）。

答案:邏輯真語句；重言式；矛盾式有一些Tarskis’World必然真語句是（）。

答案:重言式所有重言式都是（）。

答案:一階有效的；邏輯真的；塔斯基世界必然真的所有的邏輯真語句都是重言式。

答案:錯所有的P都是Q蘊涵著有些P是Q。

答案:錯恒等的自反性是指：b=b。

答案:對恒等的自反性是指：（）。

答案:a=a；?(a1a)恒等的對稱性是指：如果b=c，那么c=b。

答案:對德摩根律是指：（）。

答案:德摩根律是指：（）。形式證明比非形式證明簡單。（）

答案:錯形式證明比非形式證明簡單。

答案:錯形式證明比非形式證明嚴謹。

答案:錯形式證明和非形式證明在嚴謹性上相同。

答案:對當你在語句窗口中，輸入的是一個合式公式時，靠近語句標號的左邊顯示（）。

答案:+建立參照列的方法有（）。

答案:自己手動完成；Boole幫你完成布爾聯(lián)結(jié)詞包括（）。

答案:布爾聯(lián)結(jié)詞包括（）。如果在前提是真實的任何情況下結(jié)論必須是真的，則稱論證是（）。

答案:有效的如果S是一個重言式，那么它也是（）語句。

答案:邏輯真；Tarskis’World必然真如果S是一個重言式，那么S是邏輯不可能的。

答案:錯如果S是一個重言式，那么S是邏輯（）的。

答案:真如果S是一個重言式，那么S是（）的。

答案:邏輯真；塔斯基世界必然真如果S是一個重言式，那么S是（）。

答案:邏輯真的；邏輯必然的如果S是一個邏輯真語句，那么S一定是一個重言式。

答案:錯如果P和Q是FOL語句，那么（）也是。

答案:如果P和Q是FOL語句，那么（）也是。復雜的公式只能由原子語句通過量詞連接而成。

答案:錯復雜的公式只能由原子語句通過聯(lián)結(jié)詞連接而成。

答案:錯在證明中,如果你遇到困難,請考慮用矛盾證明法。

答案:對在棋盤上放置一個模塊，點擊工具欄中的（）。

答案:New按鈕在塔斯基世界中，要關(guān)閉一個世界窗口，（）。

答案:可以從標簽上獲?。稽c擊標簽上的關(guān)閉圖標在塔斯基世界中，要保存一份語句文件，最安全的命令是SaveSentenceAs。

答案:對在塔斯基世界中，要保存一份世界文件，最安全的命令不是SaveWorldAs。

答案:錯在塔斯基世界中，表示性質(zhì)的謂詞有：（）。

答案:Tet；Cube；Dodec在塔斯基世界中，表示二元關(guān)系的謂詞有：（）。

答案:BackOf；RightOf在塔斯基世界中，模塊的形狀分為：（）。

答案:錐體；十二面球體；立方體在塔斯基世界中，RightOf(b,c）表示b在c的右邊，b和c（）。

答案:不必在同一行在塔斯基世界中，Between(b,c,d）表示b在c和d之間，三者必須在（）。

答案:同一列在塔斯基世界中，Between(b,c,d）表示b在c和d之間，三者必須在（）

答案:同一列；同一行；一條對角線上在塔斯基世界中，BackOf(b,c）表示b在c的后面，b和c（）。

答案:不必在同一列在使用量詞規(guī)則時，下面哪條規(guī)則需要引入不出現(xiàn)在子證明外面的常項c。

答案:全稱量詞引入規(guī)則；存在量詞消去規(guī)則在使用存在量詞消去規(guī)則時,要求引入的常項c(

)出現(xiàn)在引入它的子證明的外面。

答案:不能在使用全稱量詞引入規(guī)則時,要求引入的常項c(

)出現(xiàn)在引入它的子證明的外面。

答案:不能在一階邏輯的語言FOL中，每個個體常項必須命名一個實際存在的對象。

答案:對在一個公式中，項分為（）。

答案:約束變項；自由變項在Tarski’sWorld的模塊語言中，只有（）個二元謂詞。

答案:12在Tarski’sWorld的模塊語言中，只有（）個三元謂詞。

答案:1在Tarski’sWorld的模塊語言中，只有（）個一元謂詞。

答案:6在Tarski’sWorld的模塊語言中，刻畫性質(zhì)的謂詞有（）。

答案:Small；Medium；Large；FrontOf在Tarski’sWorld的模塊語言中，刻畫性質(zhì)和關(guān)系的謂詞有（）。

答案:一元謂詞；二元謂詞；三元謂詞在Tarski’sWorld的模塊語言中，刻畫二元關(guān)系的謂詞有（）。

答案:BackOf；RightOf在Tarski’sWorld的模塊語言中，個體常項是（）。

答案:a；b在Tarski’sWorld的模塊語言中，個體變項是（）。

答案:x；y在Tarski’sWorld中，要打開事先保存的世界文件和語句文件，可以點擊File菜單中的Open命令。

答案:對在Tarski’sWorld中，要保存一份世界文件，最安全的命令是SaveWorld。

答案:錯在Tarski’sWorld中，模塊的形狀有（）這幾種情況。

答案:錐體；立方體；十二面球體在Tarski’sWorld中，模塊的大小有（）這幾種情況。

答案:大；中；小在Tarski’sWorld中，一個模塊的名字可以有（）。

答案:一個；兩個；三個；四個在Tarski’sWorld中，（）表示個體常項。

答案:a在FOL中，項分為（）。

答案:個體常項；個體變項在Fitch的證明中，符號“：x>c”表示“”。

答案:用c替換x在Fitch的一個證明過程中，要在一行的前面增加一行，點擊Proof菜單中的（）。

答案:AddStepBefore命令在Fitch的一個證明中，要增加一個子證明，點擊Proof菜單中的（）。

答案:NewSubproof命令在Fitch的Proof菜單中，CollapseSubproof命令表示（）。

答案:壓縮子證明在Fitch中使用存在消去和存在引入規(guī)則時，不需要引入新的常項c。

答案:錯在Fitch中使用全稱消去和全稱引入規(guī)則時，不需要引入新的常項c。

答案:對在Fitch中，要打開Fitch練習文件夾中的文件，可以使用File菜單中的Open命令。

答案:對在Fitch中，要保存一份已完成的證明，用SaveAs命令。

答案:對在Fitch中，要保存一份已完成的證明，用SaveAsProblem命令。

答案:對在Fitch中，系統(tǒng)F的存在量詞規(guī)則有（）。

答案:存在量詞引入規(guī)則；存在量詞消去規(guī)則在Fitch中，系統(tǒng)F的全稱量詞規(guī)則有（）。

答案:全稱量詞引入規(guī)則；全稱量詞消去規(guī)則在Fitch中，等值引入規(guī)則要求給出兩個子證明，它們表明（）。

答案:P可以從Q推出；Q可以從P推出在Fitch中，移動焦點的方法有：（）。

答案:上下拖拽焦點滑塊；在焦點區(qū)域，點擊你想要的那一行；用鍵盤上的方向鍵在Fitch中，目標欄可以是（）

答案:隱藏；顯示在Fitch中，目標欄不能隱藏，只能顯示。

答案:錯在Fitch中，檢查一個步驟是否正確，點擊工具欄中的CheckStep后，可能出現(xiàn)下面哪些符號？（）

答案:×；√；?在Fitch中，檢查一個步驟是否正確，點擊工具欄中的CheckStep后，出現(xiàn)?號，這表明（

）。

答案:Con規(guī)則不能決定這一步的有效性在Fitch中，有兩個空白處。它們是（）。

答案:證明窗口；目標區(qū)域在Fitch中，全稱量詞消去規(guī)則規(guī)定：從()可以推出（），c是任意的個體常項。

答案:在Fitch中，全稱量詞消去規(guī)則規(guī)定：從()可以推出（），c是任意的個體常項。在Fitch中，允許壓縮和擴展子證明。

答案:對在Fitch中，Induction規(guī)則中包含（）Induction。

答案:Peano；Strong在Fitch中，Con規(guī)則中包含（）規(guī)則。

答案:Taut；FO；Ana在Boole的文件菜單中，Open命令是打開已有的真值表。

答案:對在Boole最底部，也有一個類似Fitch的提示錯誤信息的狀態(tài)行。

答案:對在Boole中，驗證一個真值表包含：（）。

答案:三個步驟在Boole中，輸入目標語句時，如果該語句是合式公式，數(shù)字呈（）。

答案:綠色在Boole中，輸入目標語句時，如果該語句不是合式公式，數(shù)字呈（）。

答案:紅色在Boole中，要保存一份已完成的真值表，用SaveAs命令最安全。

答案:對在Boole中，點擊Assessment后，可以評價目標語句是否（）。

答案:重言式在Boole中，點擊Assessment后，可以評價兩個目標語句是否（）。

答案:一個是另一個的重言后承；重言等值在Boole中，手動填寫參考列和Boole填寫參考列的標號沒有區(qū)別。

答案:錯在Boole中，建立參照列的最好方法是（）。

答案:自己手動完成在Boole中，如果輸入的目標語句呈綠色，那么該語句（

）。

答案:是公式；關(guān)系在Boole中，填寫真值表有（）步驟。

答案:點擊想要輸入真值的列；輸入T或F在Boole中，填寫參考列的方法有（）。

答案:自己手動完成；Boole幫你完成在Boole中，創(chuàng)建參考列，最好讓Boole幫你完成。

答案:錯在Boole中，創(chuàng)建一個新的真值表有：（）。

答案:三個步驟在Boole中，Help菜單可以使你在使用Boole時獲得幫助，還可以（）。

答案:檢查是否可以更新名字的順序?qū)τ谛纬稍诱Z句不重要。

答案:錯可靠性斷言：在系統(tǒng)F中，從前提P我們可以證明的任意事情，實際上，是這個前提的一個（）。

答案:一階后承；邏輯后承創(chuàng)建一個新的真值表的步驟有（）。

答案:填入真值；建立參考列；指定目標語句；計算結(jié)果函數(shù)符號的作用是可以形成更復雜的（）。

答案:項倒推策略：從（）開始，插入那些使我們能過推導出目標語句的步驟或子證明。

答案:目標語句倒推的方法在證明全稱斷言時不是非常有用的。

答案:錯倒推的方法在證明全稱斷言時，對于下面哪種形式的公式有用？

答案:倒推的方法在證明全稱斷言時，對于下面哪種形式的公式有用？倒推的方法在證明（）。

答案:全稱斷言時非常有用

；在證明存在斷言時沒有用使用n-元函數(shù)符號可以表達的內(nèi)容，都可以使用一個(n+1)-元謂詞符號，再加上一個恒等謂詞表達。

答案:對從P和Q可以推出（）是一個有效的推理模式。

答案:從P和Q可以推出（）是一個有效的推理模式。從P可以推出（）是一個有效的推理模式。

答案:從P可以推出（）是一個有效的推理模式。下面哪些公式是亞里士多德語句形式。

答案:下面哪些公式是亞里士多德語句形式。一階語言FOL有無窮多個常項。

答案:錯一階語言FOL有無窮多個變項。

答案:對一組聯(lián)結(jié)詞是真值函項完全的，如果它允許我們表達每一個真值函項。

答案:對一元謂詞符號是用來表達對象的某個（）的符號。

答案:性質(zhì)一個量化語句是一個重言式當且僅當它的真值函項形式是一個（）。

答案:重言式一個語言FOL可以沒有謂詞。（）

答案:對一個語言FOL可以沒有謂詞。

答案:對一個語句邏輯等值于它的前束范式。

答案:對一個語句（閉公式）是一個沒有自由變項的公式。

答案:對一個論證是可靠的，需要滿足下面的哪些條件。

答案:有效的；前提和結(jié)論都真一個論證是一系列陳述，其中一個陳述稱為結(jié)論，結(jié)論意味著其他陳述的后承，其他陳述稱為（）。

答案:前提一個開公式是至少有一個自由變項的公式。（）

答案:對一個對象不能有多個名字。

答案:錯一個好的策略是找到一個非形式的證明然后試著形式化它。

答案:對一個個體常項不能命名多個對象。

答案:對一個一階語言FOL不可以沒有常項。（）

答案:錯一個一階語言FOL不可以沒有常項。

答案:錯Tarski’sWorld不允許給一個模塊命名多個名字。

答案:錯S是一個重言式當且僅當S的真值表的每一行的真值（）。

答案:都為真MP（ModusPonens）規(guī)則就是（）。

答案:蘊涵消去規(guī)則；分離規(guī)則Fitch中證明窗口的語句可以粘貼到（）中。

答案:Tarski’sWorld；BooleFitch中的量詞規(guī)則有兩條：存在消去和存在引入。

答案:錯Fitch中的量詞規(guī)則有兩條：全稱消去和存在引入。

答案:錯Fitch中的量詞規(guī)則有兩條：全稱消去和全稱引入。

答案:錯Fitch中的聯(lián)結(jié)詞規(guī)則分為（）。

答案:引入規(guī)則；消去規(guī)則Fitch中的結(jié)論（Con）規(guī)則有兩條：Taut和FO。

答案:錯Fitch中的析取規(guī)則有兩條：析取消去和析取引入。

答案:對Fitch與Tarski’sWorld不同，它沒有自帶的練習文件夾。

答案:錯FitchExerciseFiles是Fitch的練習文件夾。

答案:對Boole中的語句不能粘貼到Fitch中。（）

答案:錯Boole中沒有自帶的練習文件夾。

答案:對Boole與Fitch相同，也有一個自帶的練習文件夾。（）

答案:錯Boole與Fitch相同，也有一個自帶的練習文件夾。

答案:錯

答案:假

答案:

答案:

答案:假

答案:錯

答案:P(c)；S(c)

答案:S(c)

答案:重言式；邏輯真

答案:對

答案:

答案:錯

答案:對

答案:P為真；Q為真；P和Q都為真

答案:對

答案:對

答案:S(c)

答案:

答案:

答案:

答案:對

答案:

答案