實驗邏輯學(xué)智慧樹知到期末考試答案2024年

實驗邏輯學(xué)智慧樹知到期末考試答案2024年實驗邏輯學(xué)所有的P都是Q蘊(yùn)涵著有些P是Q。

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

A:錯誤B:正確答案:錯誤謂詞符號的“元數(shù)”告訴你，它需要幾個常項可以形成一個原子公式。

A:正確B:錯誤答案:正確恒等的傳遞性是指：如果a=b并且b=c，那么a=c。

A:正確B:錯誤答案:正確復(fù)雜的公式只能由原子語句通過量詞連接而成。

A:錯誤B:正確答案:錯誤如果S是一個重言式，那么S是邏輯不可能的。

A:正確B:錯誤答案:錯誤Fitch中的合取規(guī)則有兩條：合取消去和合取引入。

A:正確B:錯誤答案:正確在Fitch中，不能顯示證明的步數(shù)。

A:正確B:錯誤答案:錯誤包含布爾聯(lián)結(jié)詞的各種聯(lián)結(jié)詞的集合都是真值函項完全的。

A:錯B:對答案:對在Fitch中，目標(biāo)欄不能隱藏，只能顯示。

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

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

A:錯誤B:正確答案:錯誤Fitch中的量詞規(guī)則有兩條：存在消去和存在引入。

A:錯誤B:正確答案:錯誤系統(tǒng)F不具有可靠性。

A:錯誤B:正確答案:錯誤邏輯真語句都是（）必然真語句。

A:永假式B:塔斯基世界C:不可滿足D:重言式答案:塔斯基世界倒推策略：從（）開始，插入那些使我們能過推導(dǎo)出目標(biāo)語句的步驟或子證明。

A:前提B:假設(shè)C:目標(biāo)語句D:子證明答案:目標(biāo)語句在Boole中，建立參照列的最好方法是（）。

A:自己手動完成B:老師幫你完成C:同學(xué)幫你完成D:Boole幫你完成答案:自己手動完成在Boole中，輸入目標(biāo)語句時，如果該語句不是合式公式，數(shù)字呈（）。

A:紅色B:藍(lán)色C:黑色D:綠色答案:紅色閉公式中沒有（）。

A:約束變項B:聯(lián)結(jié)詞C:常項D:自由變項答案:自由變項在塔斯基世界中，BackOf(b,c）表示b在c的后面，b和c（）。

A:不必在同一列B:必須在同一列C:不必在同一行D:必須在同一行答案:不必在同一列在Fitch的一個證明中，要增加一個子證明，點擊Proof菜單中的（）。

A:AddPremise命令B:AddStepBefore命令C:AddStepAfter命令D:NewSubproof命令答案:NewSubproof命令一個斷言有時是真的，有時是假的，這些真和假，我們稱它為（）。

A:變項B:常項C:原子D:真值答案:真值在Fitch的一個證明中，要結(jié)束一個子證明，點擊Proof菜單中的（）。

A:EndSubproof命令B:AddPremise命令C:AddStepAfter命令

D:NewSubproof命令答案:EndSubproof命令在塔斯基世界中，表示二元關(guān)系的謂詞有：（）。

A:BetweenB:BackOfC:RightOfD:Tet答案:BackOf;RightOf在Tarski’sWorld的模塊語言中，刻畫性質(zhì)的謂詞有（）。

A:SmallB:FrontOfC:LargeD:Medium答案:Small;Medium;Large;FrontOf在Fitch中，目標(biāo)欄可以是（）

A:顯示B:折疊C:隱藏D:刪除答案:隱藏;顯示謂詞符號是用來表達(dá)對象的某個（

）的符號。

A:關(guān)系B:聯(lián)系C:性質(zhì)D:連接答案:性質(zhì)在塔斯基世界中，模塊的形狀分為：（）。

A:立方體B:十二面球體C:圓D:錐體答案:錐體;十二面球體;立方體真值包括（）。

A:原子B:假C:常項D:真答案:真;假在Fitch中，有兩個空白處。它們是（）。

A:證明窗口B:表窗口C:目標(biāo)區(qū)域D:世界窗口答案:證明窗口;目標(biāo)區(qū)域通常，稱每兩兩不同的對象在某關(guān)系中成立，需要一個形如（）的語句。

A:B:C:D:答案:AI參考:答案為【B】通常，稱每兩兩不同的對象在某關(guān)系中成立，需要一個形如（B:即n（n-1）/2）的語句。這是因為對于n個不同的對象，它們兩兩組合的總數(shù)就是n乘以（n-1），也就是n（n-1）/2。所以，每兩兩不同的對象在某關(guān)系中成立，需要的就是這個公式所代表的語句。'“PifandonlyifQ”可以翻譯成（）。

A:B:C:D:答案:AI參考:根據(jù)題干中的信息可以知道“PifandonlyifQ”表示的是一種條件關(guān)系，即“如果P則Q，且只P則Q”，這種情況下應(yīng)該翻譯成“如果...則...”因此，正確答案是D。'“ifPthenQ”或者“QprovidedP”可以翻譯成（）。

A:B:C:D:答案:AI參考:答案：B\n推理過程：\n根據(jù)上下文可知，“ifPthenQ”翻譯成“如果P，那么Q”。所以，“或者“QprovidedP”可以翻譯成“或者如果P發(fā)生，那么就出現(xiàn)了Q”的形式。B選項中包含這一意思，其他選項都與題目所表達(dá)的意思不符。'通常，稱有兩個不同的對象在某關(guān)系中成立，需要一個形如（）的語句。

A:B:C:D:答案:AI參考:正確選項是【B】。\n\n根據(jù)題目描述，需要一個形如語句來描述兩個不同的對象在某關(guān)系中成立的情況。B選項符合這個描述，因為它是一個完整的語句，可以用來描述兩個對象之間的關(guān)系。而其他選項A、C、D都不符合題目要求，它們要么不是完整的語句，要么不符合題目中的關(guān)系描述。'在一個公式中，項分為（）。

A:個體變項B:自由變項C:約束變項D:常項答案:"AI參考:正確選項為B，自由變項。