實(shí)驗(yàn)邏輯學(xué)知到章節(jié)答案智慧樹2023年南開大學(xué)

實(shí)驗(yàn)邏輯學(xué)知到章節(jié)測試答案智慧樹2023年最新南開大學(xué)緒論單元測試參考答案:

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

參考答案:

錯(cuò)第一章測試要打開Tarski’sWorld，點(diǎn)擊文件Tarski’sWorld.exe。

參考答案:

對在Tarski’sWorld中，要打開事先保存的世界文件和語句文件，可以點(diǎn)擊File菜單中的Open命令。

參考答案:

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

參考答案:

錯(cuò)在棋盤上放置一個(gè)模塊，點(diǎn)擊工具欄中的（）。

參考答案:

New按鈕要?jiǎng)h除一個(gè)世界文件的方法之一是（）。

參考答案:

在File菜單中，點(diǎn)擊Clear命令當(dāng)你在語句窗口中，輸入的是一個(gè)合式公式時(shí)，靠近語句標(biāo)號的左邊顯示（）。

參考答案:

+在Tarski’sWorld中，模塊的大小有（）這幾種情況。

參考答案:

中;大;小在Tarski’sWorld中，模塊的形狀有（）這幾種情況。

參考答案:

立方體;十二面球體;錐體在Tarski’sWorld中，一個(gè)模塊的名字可以有（）。

參考答案:

三個(gè);一個(gè);四個(gè);兩個(gè)Tarski’sWorld不允許給一個(gè)模塊命名多個(gè)名字。

參考答案:

錯(cuò)第二章測試要打開Fitch，點(diǎn)擊文件Fitch.exe.

參考答案:

對在Fitch中，要打開Fitch練習(xí)文件夾中的文件，可以使用File菜單中的Open命令。

參考答案:

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

參考答案:

對在Fitch的一個(gè)證明過程中，要在一行的前面增加一行，點(diǎn)擊Proof菜單中的（）。

參考答案:

AddStepBefore命令

表示焦點(diǎn)滑塊的符號是（）。

參考答案:

紅色的三角形圖標(biāo)

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

參考答案:

壓縮子證明Fitch中證明窗口的語句可以粘貼到（）中。

參考答案:

Word文檔;Tarski’sWorld;Fitch的目標(biāo)窗口;BooleFitch中的聯(lián)結(jié)詞規(guī)則分為（）。

參考答案:

引入規(guī)則;消去規(guī)則在Fitch中，檢查一個(gè)步驟是否正確，點(diǎn)擊工具欄中的CheckStep后，可能出現(xiàn)下面哪些符號？（）

參考答案:

?;×;√Fitch與Tarski’sWorld不同，它沒有自帶的練習(xí)文件夾。

參考答案:

錯(cuò)第三章測試要打開Boole，點(diǎn)擊文件Boole.exe。

參考答案:

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

參考答案:

對在Boole中，創(chuàng)建參考列，最好讓Boole幫你完成。

參考答案:

錯(cuò)在Boole中，創(chuàng)建一個(gè)新的真值表有：（）。

參考答案:

三個(gè)步驟在Boole中，驗(yàn)證一個(gè)真值表包含：（）。

參考答案:

三個(gè)步驟在Boole中，Help菜單可以使你在使用Boole時(shí)獲得幫助，還可以（）。

參考答案:

檢查是否可以更新在Boole中，驗(yàn)證一個(gè)真值表包含：（）。

參考答案:

檢驗(yàn)?zāi)愕脑u價(jià)是否正確;檢驗(yàn)表的完全性和正確性;驗(yàn)證參考列;驗(yàn)證表的每一行建立參照列的方法有（）。

參考答案:

自己手動(dòng)完成;Boole幫你完成

創(chuàng)建一個(gè)新的真值表的步驟有（）。

參考答案:

填入真值;計(jì)算結(jié)果;建立參考列;指定目標(biāo)語句

Boole與Fitch相同，也有一個(gè)自帶的練習(xí)文件夾。（）

參考答案:

錯(cuò)第四章測試在一階邏輯的語言FOL中，每個(gè)個(gè)體常項(xiàng)必須命名一個(gè)實(shí)際存在的對象。

參考答案:

對一個(gè)個(gè)體常項(xiàng)不能命名多個(gè)對象。

參考答案:

對一個(gè)對象不能有多個(gè)名字。

參考答案:

錯(cuò)在Tarski’sWorld的模塊語言中，只有（）個(gè)一元謂詞。

參考答案:

6在Tarski’sWorld的模塊語言中，只有（）個(gè)三元謂詞。

參考答案:

1在Tarski’sWorld的模塊語言中，只有（）個(gè)二元謂詞。

參考答案:

12在Tarski’sWorld的模塊語言中，個(gè)體常項(xiàng)是（）。

參考答案:

a;b在Tarski’sWorld的模塊語言中，個(gè)體變項(xiàng)是（）。

參考答案:

x;y在Tarski’sWorld的模塊語言中，刻畫性質(zhì)和關(guān)系的謂詞有（）。

參考答案:

二元謂詞;三元謂詞;一元謂詞參考答案:

錯(cuò)第五章測試非形式證明和形式證明在風(fēng)格上不同。

參考答案:

對形式證明和非形式證明在嚴(yán)謹(jǐn)性上相同。

參考答案:

對形式證明比非形式證明嚴(yán)謹(jǐn)。

參考答案:

錯(cuò)一個(gè)論證是一系列陳述，其中一個(gè)陳述稱為結(jié)論，結(jié)論意味著其他陳述的后承，其他陳述稱為（）。

參考答案:

前提如果在前提是真實(shí)的任何情況下結(jié)論必須是真的，則稱論證是（）。

參考答案:

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

參考答案:

一個(gè)邏輯后承一個(gè)論證是可靠的，需要滿足下面的哪些條件。

參考答案:

有效的;前提和結(jié)論都真每個(gè)n元謂詞被解釋為一個(gè)與謂詞有相同元數(shù)的（）。

參考答案:

性質(zhì);關(guān)系恒等的自反性是指：（）。

參考答案:

a=a;?(a1a)形式證明比非形式證明簡單。（）

參考答案:

錯(cuò)第六章測試參考答案:

對參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

****如果P和Q是FOL語句，那么（）也是。

參考答案:

****參考答案:

真、真參考答案:

;參考答案:

;參考答案:

;;;第七章測試參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

錯(cuò)參考答案:

****S是一個(gè)重言式當(dāng)且僅當(dāng)S的真值表的每一行的真值（）。

參考答案:

都為真有一些Tarskis’World必然真語句是（）。

參考答案:

重言式如果S是一個(gè)重言式，那么S是（）。

參考答案:

邏輯真的;邏輯必然的如果S是一個(gè)重言式，那么它也是（）語句。

參考答案:

邏輯真;Tarskis’World必然真有些Tarskis’World必然真語句不是（）。

參考答案:

重言式;矛盾式;邏輯真語句第八章測試參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

對沒有前提的一個(gè)證明表明它是系統(tǒng)的一條（

）。

參考答案:

定理參考答案:

****參考答案:

****參考答案:

;參考答案:

證明;假設(shè)參考答案:

;第九章測試參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

錯(cuò)沒有前提的一個(gè)證明表明它的結(jié)論是一條（）。

參考答案:

邏輯真理參考答案:

****參考答案:

****參考答案:

;參考答案:

P;Q;R;S

參考答案:

;;;第十章測試參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

****參考答案:

****參考答案:

重言等值

參考答案:

;參考答案:

;;德摩根律是指：（）。

參考答案:

;參考答案:

對第十一章測試參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

錯(cuò)參考答案:

****參考答案:

****參考答案:

****參考答案:

;;參考答案:

;;;在Fitch中，等值引入規(guī)則要求給出兩個(gè)子證明，它們表明（）。

參考答案:

Q可以從P推出;P可以從Q推出第十二章測試一階語言FOL有無窮多個(gè)變項(xiàng)。

參考答案:

對一個(gè)語句（閉公式）是一個(gè)沒有自由變項(xiàng)的公式。

參考答案:

對每個(gè)邏輯真語句都是重言式。

參考答案:

錯(cuò)一個(gè)一階語言FOL不可以沒有常項(xiàng)。（）

參考答案:

錯(cuò)參考答案:

自由出現(xiàn)參考答案:

自由出現(xiàn)一個(gè)量化語句是一個(gè)重言式當(dāng)且僅當(dāng)它的真值函項(xiàng)形式是一個(gè)（）。

參考答案:

重言式參考答案:

;所有重言式都是（）。

參考答案:

塔斯基世界必然真的;邏輯真的;一階有效的下面哪些公式是亞里士多德語句形式。

參考答案:

;;第十三章測試一階語言FOL有無窮多個(gè)常項(xiàng)。

參考答案:

錯(cuò)一個(gè)語句（閉公式）是一個(gè)沒有自由變項(xiàng)的公式。

參考答案:

對每個(gè)邏輯真語句都是Tarski’sWorld必然真語句。

參考答案:

對參考答案:

自由出現(xiàn)參考答案:

自由出現(xiàn)在Tarski’sWorld中，（）表示個(gè)體常項(xiàng)。

參考答案:

a參考答案:

;;

下面哪些公式是亞里士多德語句形式。

參考答案:

;一個(gè)語言FOL可以沒有謂詞。（）

參考答案:

對一個(gè)開公式是至少有一個(gè)自由變項(xiàng)的公式。（）

參考答案:

對第十四章測試參考答案:

對參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

某一立方體在某一錐體的左邊參考答案:

每一立方體都在每一錐體的左邊參考答案:

****在Fitch中，系統(tǒng)F的全稱量詞規(guī)則有（）。

參考答案:

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

參考答案:

存在量詞引入規(guī)則;存在量詞消去規(guī)則參考答案:

;;第十五章測試參考答案:

對參考答案:

對參考答案:

對參考答案:

錯(cuò)參考答案:

c必須是個(gè)體常項(xiàng)參考答案:

c必須是個(gè)體常項(xiàng)參考答案:

****參考答案:

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

參考答案:

存在量詞消去規(guī)則;存在量詞引入規(guī)則

在Fitch中，系統(tǒng)F的全稱量詞規(guī)則有（）。

參考答案:

全稱量詞消去規(guī)則;全稱量詞引入規(guī)則第十六章測試一個(gè)好的策略是找到一個(gè)非形式的證明然后試著形式化它。

參考答案:

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

參考答案:

對倒推的方法在證明全稱斷言時(shí)不是非常有用的。

參考答案:

錯(cuò)系統(tǒng)F不具有可靠性。（）

參考答案:

錯(cuò)在使用全稱量詞引入規(guī)則時(shí),要求引入的常項(xiàng)c(

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

參考答案:

不能在使用存在量詞消去規(guī)則時(shí),要求引入的常項(xiàng)c(

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