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

緒論單元測(cè)試A:錯(cuò)

B:對(duì)

答案:BBoole中的語(yǔ)句不能粘貼到Fitch中。（）

A:對(duì)

B:錯(cuò)

答案:B第一章測(cè)試要打開Tarski’sWorld，點(diǎn)擊文件Tarski’sWorld.exe。

A:對(duì)

B:錯(cuò)

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

A:對(duì)

B:錯(cuò)

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

A:對(duì)

B:錯(cuò)

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

A:New按鈕

B:PlayGame按鈕

C:Verify按鈕

D:打印按鈕

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

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

B:點(diǎn)擊PlayGame按鈕

C:Verify按鈕

D:點(diǎn)擊New按鈕

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

A:F

B:+

C:*

D:T

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

A:中

B:大

C:較小

D:小

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

A:立方體

B:圓

C:十二面球體

D:錐體

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

A:三個(gè)

B:一個(gè)

C:四個(gè)

D:兩個(gè)

答案:ABCDTarski’sWorld不允許給一個(gè)模塊命名多個(gè)名字。

A:對(duì)

B:錯(cuò)

答案:B第二章測(cè)試要打開Fitch，點(diǎn)擊文件Fitch.exe.

A:對(duì)

B:錯(cuò)

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

A:錯(cuò)

B:對(duì)

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

A:對(duì)

B:錯(cuò)

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

A:AddPremise命令

B:AddStepAfter命令

C:Delete命令

D:AddStepBefore命令

答案:D

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

A:?圖標(biāo)

B:問號(hào)圖標(biāo)

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

D:圓圈圖標(biāo)

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

A:壓縮子證明

B:刪除子證明

C:展開子證明

D:保存子證明

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

A:Word文檔

B:Tarski’sWorld

C:Fitch的目標(biāo)窗口

D:Boole

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

A:結(jié)論規(guī)則

B:引入規(guī)則

C:引理

D:消去規(guī)則

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

A:c

B:?

C:×

D:√

答案:BCDFitch與Tarski’sWorld不同，它沒有自帶的練習(xí)文件夾。

A:對(duì)

B:錯(cuò)

答案:B第三章測(cè)試要打開Boole，點(diǎn)擊文件Boole.exe。

A:對(duì)

B:錯(cuò)

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

A:對(duì)

B:錯(cuò)

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

A:錯(cuò)

B:對(duì)

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

A:三個(gè)步驟

B:一個(gè)步驟

C:兩個(gè)步驟

D:四個(gè)步驟

答案:A在Boole中，驗(yàn)證一個(gè)真值表包含：（）。

A:一個(gè)步驟

B:三個(gè)步驟

C:兩個(gè)步驟

D:四個(gè)步驟

答案:B在Boole中，Help菜單可以使你在使用Boole時(shí)獲得幫助，還可以（）。

A:構(gòu)造真值表

B:檢查真值表是否正確

C:檢查是否可以更新

D:建立參考列

答案:C在Boole中，驗(yàn)證一個(gè)真值表包含：（）。

A:檢驗(yàn)?zāi)愕脑u(píng)價(jià)是否正確

B:檢驗(yàn)表的完全性和正確性

C:驗(yàn)證參考列

D:驗(yàn)證表的每一行

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

A:自己手動(dòng)完成

B:同學(xué)幫你完成

C:Boole幫你完成

D:老師幫你完成

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

A:填入真值

B:計(jì)算結(jié)果

C:建立參考列

D:指定目標(biāo)語(yǔ)句

答案:ABCD

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

A:對(duì)

B:錯(cuò)

答案:B第四章測(cè)試在一階邏輯的語(yǔ)言FOL中，每個(gè)個(gè)體常項(xiàng)必須命名一個(gè)實(shí)際存在的對(duì)象。

A:對(duì)

B:錯(cuò)

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

A:錯(cuò)

B:對(duì)

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

A:錯(cuò)

B:對(duì)

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

A:6

B:1

C:12

D:25

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

A:25

B:1

C:6

D:12

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

A:6

B:25

C:1

D:12

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

A:a

B:x

C:y

D:b

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

A:b

B:a

C:x

D:y

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

A:二元謂詞

B:三元謂詞

C:四元謂詞

D:一元謂詞

答案:ABDA:對(duì)

B:錯(cuò)

答案:B第五章測(cè)試非形式證明和形式證明在風(fēng)格上不同。

A:錯(cuò)

B:對(duì)

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

A:對(duì)

B:錯(cuò)

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

A:錯(cuò)

B:對(duì)

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

A:后承

B:前提

C:結(jié)論

D:子結(jié)論

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

A:可靠的

B:有效的

C:完全的

D:無效的

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

A:兩個(gè)前件

B:三個(gè)前件

C:一個(gè)前件

D:一個(gè)邏輯后承

答案:D一個(gè)論證是可靠的，需要滿足下面的哪些條件。

A:有效的

B:前提和結(jié)論都真

C:有真有假的

D:假的

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

A:性質(zhì)

B:關(guān)系

C:個(gè)體常項(xiàng)

D:個(gè)體詞

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

A:b=c

B:a1a

C:a=a

D:?(a1a)

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

A:對(duì)

B:錯(cuò)

答案:B第六章測(cè)試A:錯(cuò)

B:對(duì)

答案:BA:對(duì)

B:錯(cuò)

答案:AA:對(duì)

B:錯(cuò)

答案:AA:錯(cuò)

B:對(duì)

答案:AA:

B:

C:

D:

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

A:

B:

C:

D:

答案:AA:真、真

B:假、假

C:真、假

D:假、真

答案:AA:

B:

C:

D:

答案:BCA:

B:

C:

D:

答案:BDA:

B:

C:

D:

答案:ABCD第七章測(cè)試A:錯(cuò)

B:對(duì)

答案:BA:對(duì)

B:錯(cuò)

答案:AA:錯(cuò)

B:對(duì)

答案:AA:錯(cuò)

B:對(duì)

答案:AA:

B:

C:

D:

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

A:都為真

B:有假有真

C:都為假

D:有真有假

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

A:可滿足式

B:重言式

C:矛盾式

D:永假式

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

A:邏輯真的

B:Tarskis’World必然真的

C:邏輯不可能的

D:邏輯必然的

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

A:矛盾的

B:不可滿足的

C:邏輯真

D:Tarskis’World必然真

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

A:重言式

B:矛盾式

C:可滿足式

D:邏輯真語(yǔ)句

答案:ABD第八章測(cè)試A:對(duì)

B:錯(cuò)

答案:AA:錯(cuò)

B:對(duì)

答案:BA:對(duì)

B:錯(cuò)

答案:BA:錯(cuò)

B:對(duì)

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

）。

A:矛盾式

B:定理

C:可滿足式

D:邏輯后承

答案:BA:

B:

C:

D:

答案:DA:

B:

C:

D:

答案:AA:

B:

C:

D:

答案:BDA:證明

B:假設(shè)

C:

D:

答案:ABA:

B:

C:

D:

答案:AD第九章測(cè)試A:錯(cuò)

B:對(duì)

答案:BA:錯(cuò)

B:對(duì)

答案:BA:錯(cuò)

B:對(duì)

答案:AA:對(duì)

B:錯(cuò)

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

A:可滿足式

B:永假式

C:邏輯真理

D:矛盾式

答案:CA:

B:

C:

D:

答案:CA:

B:

C:

D:

答案:AA:

B:

C:

D:

答案:BDA:P

B:Q

C:R

D:S

答案:ABCDA:

B:

C:

D:

答案:ABCD第十章測(cè)試A:錯(cuò)

B:對(duì)

答案:BA:對(duì)

B:錯(cuò)

答案:AA:對(duì)

B:錯(cuò)

答案:BA:

B:

C:

D:

答案:BA:

B:

C:

D:

答案:DA:矛盾式

B:邏輯真語(yǔ)句

C:重言式

D:重言等值

答案:DA:

B:

C:

D:

答案:CDA:

B:

C:

D:

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

A:

B:

C:

D:

答案:ADA:對(duì)

B:錯(cuò)

答案:A第十一章測(cè)試A:錯(cuò)

B:對(duì)

答案:BA:對(duì)

B:錯(cuò)

答案:AA:錯(cuò)

B:對(duì)

答案:AA:錯(cuò)

B:對(duì)

答案:AA:

B:

C:

D:

答案:CA:

B:

C:

D:

答案:DA:

B:

C:

D:

答案:AA:

B:

C:

D:

答案:ABCA:

B:

C:

D:

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

A:Q不能從P推出

B:Q可以從P推出

C:P不能從Q推出

D:P可以從Q推出

答案:BD第十二章測(cè)試一階語(yǔ)言FOL有無窮多個(gè)變項(xiàng)。

A:對(duì)

B:錯(cuò)

答案:A一個(gè)語(yǔ)句（閉公式）是一個(gè)沒有自由變項(xiàng)的公式。

A:錯(cuò)

B:對(duì)

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

A:錯(cuò)

B:對(duì)

答案:A一個(gè)一階語(yǔ)言FOL不可以沒有常項(xiàng)。（）

A:錯(cuò)

B:對(duì)

答案:AA:約束出現(xiàn)，但不是自由出現(xiàn)

B:自由出現(xiàn)

C:不出現(xiàn)

D:出現(xiàn)

答案:BA:出現(xiàn)

B:約束出現(xiàn)，但不是自由出現(xiàn)

C:自由出現(xiàn)

D:不出現(xiàn)

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

A:可滿足式

B:矛盾式

C:永假式

D:重言式

答案:DA:

B:

C:

D:

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

A:塔斯基世界必然真的

B:不是一階有效式

C:邏輯真的

D:一階有效的

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

A:

B:

C:

D:

答案:ABD第十三章測(cè)試一階語(yǔ)言FOL有無窮多個(gè)常項(xiàng)。

A:對(duì)

B:錯(cuò)

答案:B一個(gè)語(yǔ)句（閉公式）是一個(gè)沒有自由變項(xiàng)的公式。

A:對(duì)

B:錯(cuò)

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

A:對(duì)

B:錯(cuò)

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

B:約束出現(xiàn)，但不是自由出現(xiàn)

C:出現(xiàn)

D:不出現(xiàn)

答案:AA:不出現(xiàn)

B:出現(xiàn)

C:約束出現(xiàn)，但不是自由出現(xiàn)

D:自由出現(xiàn)

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

A:P

B:w

C:a

D:y

答案:CA:

B:

C:

D:

答案:BCD

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

A:

B:

C:

D:

答案:AC一個(gè)語(yǔ)言FOL可以沒有謂詞。（）

A:對(duì)

B:錯(cuò)

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

A:錯(cuò)

B:對(duì)

答案:B第十四章測(cè)試A:對(duì)

B:錯(cuò)

答案:AA:對(duì)

B:錯(cuò)

答案:AA:錯(cuò)

B:對(duì)

答案:BA:錯(cuò)

B:對(duì)

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

B:某一立方體都在每一錐體的左邊

C:每一立方體都在某一錐體的左邊

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

答案:DA:每一立方體都在某一錐體的左邊

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

C:某一立方體都在每一錐體的左邊

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

答案:DA:

B:

C:

D:

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

A:全稱量詞消去規(guī)則

B:全稱量詞規(guī)則

C:全稱量詞引入規(guī)則

D:全稱量化詞規(guī)則

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

A:存在量詞引入規(guī)則

B:存在量化詞規(guī)則

C:存在量詞規(guī)則

D:存在量詞消去規(guī)則

答案:ADA:

B:

C:

D:

答案:ACD第十五章測(cè)試A:錯(cuò)

B:對(duì)

答案:BA:對(duì)

B:錯(cuò)

答案:AA:對(duì)

B:錯(cuò)

答案:AA:錯(cuò)

B:對(duì)

答案:AA:這里c是定義域中的一個(gè)對(duì)象

B:c是Tarski’sWorld模塊語(yǔ)言中的個(gè)體常項(xiàng)

C:

c是Tarski’sWorld模塊語(yǔ)言中的個(gè)體變項(xiàng)

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

答案:DA:c是Tarski’sWorld模塊語(yǔ)言中的個(gè)體常項(xiàng)

B:這里c是定義域中的一個(gè)對(duì)象

C:c是Tarski’sWorld模塊語(yǔ)言中的個(gè)體變項(xiàng)

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

答案:DA:

B:

C:

D:

答案:DA:

B:

C:

D:

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

A:存在量詞消去規(guī)則

B:存在量詞引入規(guī)則

C:存在量詞規(guī)則

D:存在量詞