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

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

參考答案:

對(duì)

Boole中的語(yǔ)句不能粘貼到Fitch中。（）

參考答案:

錯(cuò)

第一章測(cè)試

要打開(kāi)Tarski’sWorld，點(diǎn)擊文件Tarski’sWorld.exe。

參考答案:

對(duì)

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

參考答案:

對(duì)

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

參考答案:

錯(cuò)

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

參考答案:

New按鈕

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

參考答案:

在File菜單中，點(diǎn)擊Clear命令

當(dāng)你在語(yǔ)句窗口中，輸入的是一個(gè)合式公式時(shí)，靠近語(yǔ)句標(biāo)號(hào)的左邊顯示（）。

參考答案:

+

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

參考答案:

中;大;小

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

參考答案:

立方體;十二面球體;錐體

在Tarski’sWorld中，一個(gè)模塊的名字可以有（）。

參考答案:

三個(gè);一個(gè);四個(gè);兩個(gè)

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

參考答案:

錯(cuò)

第二章測(cè)試

要打開(kāi)Fitch，點(diǎn)擊文件Fitch.exe.

參考答案:

對(duì)

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

參考答案:

對(duì)

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

參考答案:

對(duì)

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

參考答案:

AddStepBefore命令

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

參考答案:

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

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

參考答案:

壓縮子證明

Fitch中證明窗口的語(yǔ)句可以粘貼到（）中。

參考答案:

Word文檔

;Tarski’sWorld;Fitch的目標(biāo)窗口;Boole

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

參考答案:

引入規(guī)則;消去規(guī)則

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

參考答案:

?;×;√

Fitch與Tarski’sWorld不同，它沒(méi)有自帶的練習(xí)文件夾。

參考答案:

錯(cuò)

第三章測(cè)試

要打開(kāi)Boole，點(diǎn)擊文件Boole.exe。

參考答案:

對(duì)

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

參考答案:

對(duì)

在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(píng)價(jià)是否正確;檢驗(yàn)表的完全性和正確性;驗(yàn)證參考列;驗(yàn)證表的每一行

建立參照列的方法有（）。

參考答案:

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

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

參考答案:

填入真值;計(jì)算結(jié)果

;建立參考列;指定目標(biāo)語(yǔ)句

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

參考答案:

錯(cuò)

第四章測(cè)試

在一階邏輯的語(yǔ)言FOL中，每個(gè)個(gè)體常項(xiàng)必須命名一個(gè)實(shí)際存在的對(duì)象。

參考答案:

對(duì)

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

參考答案:

對(duì)

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

參考答案:

錯(cuò)

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

參考答案:

6

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

參考答案:

1

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

參考答案:

12

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

參考答案:

a;b

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

參考答案:

x;y

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

參考答案:

二元謂詞;三元謂詞;一元謂詞

參考答案:

錯(cuò)

第五章測(cè)試

非形式證明和形式證明在風(fēng)格上不同。

參考答案:

對(duì)

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

參考答案:

對(duì)

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

參考答案:

錯(cuò)

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

參考答案:

前提

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

參考答案:

有效的

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

參考答案:

一個(gè)邏輯后承

一個(gè)論證是可靠的，需要滿(mǎn)足下面的哪些條件。

參考答案:

有效的;前提和結(jié)論都真

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

參考答案:

性質(zhì);關(guān)系

恒等的自反性是指：（）。

參考答案:

a=a;?(a1a)

形式證明比非形式證明簡(jiǎn)單。（）

參考答案:

錯(cuò)

第六章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

如果P和Q是FOL語(yǔ)句，那么（）也是。

參考答案:

參考答案:

真、真

參考答案:

;

參考答案:

;

參考答案:

;;;

第七章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

錯(cuò)

參考答案:

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

參考答案:

都為真

有一些Tarskis’World必然真語(yǔ)句是（）。

參考答案:

重言式

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

參考答案:

邏輯真的;邏輯必然的

如果S是一個(gè)重言式，那么它也是（）語(yǔ)句。

參考答案:

邏輯真;Tarskis’World必然真

有些Tarskis’World必然真語(yǔ)句不是（）。

參考答案:

重言式;矛盾式

;邏輯真語(yǔ)句

第八章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

對(duì)

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

）。

參考答案:

定理

參考答案:

參考答案:

參考答案:

;

參考答案:

證明;假設(shè)

參考答案:

;

第九章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

錯(cuò)

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

參考答案:

邏輯真理

參考答案:

參考答案:

參考答案:

;

參考答案:

P;Q;R;S

參考答案:

;;;

第十章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

參考答案:

參考答案:

重言等值

參考答案:

;

參考答案:

;;

德摩根律是指：（）。

參考答案:

;

參考答案:

對(duì)

第十一章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

錯(cuò)

參考答案:

參考答案:

參考答案:

參考答案:

;;

參考答案:

;;;

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

參考答案:

Q可以從P推出;P可以從Q推出

第十二章測(cè)試

一階語(yǔ)言FOL有無(wú)窮多個(gè)變項(xiàng)。

參考答案:

對(duì)

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

參考答案:

對(duì)

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

參考答案:

錯(cuò)

一個(gè)一階語(yǔ)言FOL不可以沒(méi)有常項(xiàng)。（）

參考答案:

錯(cuò)

參考答案:

自由出現(xiàn)

參考答案:

自由出現(xiàn)

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

參考答案:

重言式

參考答案:

;

所有重言式都是（）。

參考答案:

塔斯基世界必然真的;邏輯真的;一階有效的

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

參考答案:

;;

第十三章測(cè)試

一階語(yǔ)言FOL有無(wú)窮多個(gè)常項(xiàng)。

參考答案:

錯(cuò)

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

參考答案:

對(duì)

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

參考答案:

對(duì)

參考答案:

自由出現(xiàn)

參考答案:

自由出現(xiàn)

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

參考答案:

a

參考答案:

;;

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

參考答案:

;

一個(gè)語(yǔ)言FOL可以沒(méi)有謂詞。（）

參考答案:

對(duì)

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

參考答案:

對(duì)

第十四章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

某一立方體在某一錐體的左邊

參考答案:

每一立方體都在每一錐體的左邊

參考答案:

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

參考答案:

全稱(chēng)量詞消去規(guī)則;全稱(chēng)量詞引入規(guī)則

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

參考答案:

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

參考答案:

;;

第十五章測(cè)試

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

對(duì)

參考答案:

錯(cuò)

參考答案:

c必須是個(gè)體常項(xiàng)

參考答案:

c必須是個(gè)體常項(xiàng)

參考答案:

參考答案:

;;;

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

參考答案:

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

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

參考答案:

全稱(chēng)量詞消去規(guī)則;全稱(chēng)量詞引入規(guī)則

第十六章測(cè)試

一個(gè)好的策略是找到一個(gè)非形式的證明然后試著形式化它。

參考答案:

對(duì)

在證明中,如果你遇到困難,請(qǐng)考慮用矛盾證明法。

參考答案:

對(duì)

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

參考答案:

錯(cuò)

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

參考答案:

錯(cuò)

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

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

參考答案:

不能

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