版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
實驗邏輯學(xué)知到章節(jié)測試答案智慧樹2023年最新南開大學(xué)緒論單元測試參考答案:
對Boole中的語句不能粘貼到Fitch中。()
參考答案:
錯第一章測試要打開Tarski’sWorld,點擊文件Tarski’sWorld.exe。
參考答案:
對在Tarski’sWorld中,要打開事先保存的世界文件和語句文件,可以點擊File菜單中的Open命令。
參考答案:
對在Tarski’sWorld中,要保存一份世界文件,最安全的命令是SaveWorld。
參考答案:
錯在棋盤上放置一個模塊,點擊工具欄中的()。
參考答案:
New按鈕要刪除一個世界文件的方法之一是()。
參考答案:
在File菜單中,點擊Clear命令當(dāng)你在語句窗口中,輸入的是一個合式公式時,靠近語句標(biāo)號的左邊顯示()。
參考答案:
+在Tarski’sWorld中,模塊的大小有()這幾種情況。
參考答案:
中;大;小在Tarski’sWorld中,模塊的形狀有()這幾種情況。
參考答案:
立方體;十二面球體;錐體在Tarski’sWorld中,一個模塊的名字可以有()。
參考答案:
三個;一個;四個;兩個Tarski’sWorld不允許給一個模塊命名多個名字。
參考答案:
錯第二章測試要打開Fitch,點擊文件Fitch.exe.
參考答案:
對在Fitch中,要打開Fitch練習(xí)文件夾中的文件,可以使用File菜單中的Open命令。
參考答案:
對在Fitch中,要保存一份已完成的證明,用SaveAs命令。
參考答案:
對在Fitch的一個證明過程中,要在一行的前面增加一行,點擊Proof菜單中的()。
參考答案:
AddStepBefore命令
表示焦點滑塊的符號是()。
參考答案:
紅色的三角形圖標(biāo)
在Fitch的Proof菜單中,CollapseSubproof命令表示()。
參考答案:
壓縮子證明Fitch中證明窗口的語句可以粘貼到()中。
參考答案:
Word文檔;Tarski’sWorld;Fitch的目標(biāo)窗口;BooleFitch中的聯(lián)結(jié)詞規(guī)則分為()。
參考答案:
引入規(guī)則;消去規(guī)則在Fitch中,檢查一個步驟是否正確,點擊工具欄中的CheckStep后,可能出現(xiàn)下面哪些符號?()
參考答案:
?;×;√Fitch與Tarski’sWorld不同,它沒有自帶的練習(xí)文件夾。
參考答案:
錯第三章測試要打開Boole,點擊文件Boole.exe。
參考答案:
對在Boole中,要保存一份已完成的真值表,用SaveAs命令最安全。
參考答案:
對在Boole中,創(chuàng)建參考列,最好讓Boole幫你完成。
參考答案:
錯在Boole中,創(chuàng)建一個新的真值表有:()。
參考答案:
三個步驟在Boole中,驗證一個真值表包含:()。
參考答案:
三個步驟在Boole中,Help菜單可以使你在使用Boole時獲得幫助,還可以()。
參考答案:
檢查是否可以更新在Boole中,驗證一個真值表包含:()。
參考答案:
檢驗?zāi)愕脑u價是否正確;檢驗表的完全性和正確性;驗證參考列;驗證表的每一行建立參照列的方法有()。
參考答案:
自己手動完成;Boole幫你完成
創(chuàng)建一個新的真值表的步驟有()。
參考答案:
填入真值;計算結(jié)果;建立參考列;指定目標(biāo)語句
Boole與Fitch相同,也有一個自帶的練習(xí)文件夾。()
參考答案:
錯第四章測試在一階邏輯的語言FOL中,每個個體常項必須命名一個實際存在的對象。
參考答案:
對一個個體常項不能命名多個對象。
參考答案:
對一個對象不能有多個名字。
參考答案:
錯在Tarski’sWorld的模塊語言中,只有()個一元謂詞。
參考答案:
6在Tarski’sWorld的模塊語言中,只有()個三元謂詞。
參考答案:
1在Tarski’sWorld的模塊語言中,只有()個二元謂詞。
參考答案:
12在Tarski’sWorld的模塊語言中,個體常項是()。
參考答案:
a;b在Tarski’sWorld的模塊語言中,個體變項是()。
參考答案:
x;y在Tarski’sWorld的模塊語言中,刻畫性質(zhì)和關(guān)系的謂詞有()。
參考答案:
二元謂詞;三元謂詞;一元謂詞參考答案:
錯第五章測試非形式證明和形式證明在風(fēng)格上不同。
參考答案:
對形式證明和非形式證明在嚴(yán)謹(jǐn)性上相同。
參考答案:
對形式證明比非形式證明嚴(yán)謹(jǐn)。
參考答案:
錯一個論證是一系列陳述,其中一個陳述稱為結(jié)論,結(jié)論意味著其他陳述的后承,其他陳述稱為()。
參考答案:
前提如果在前提是真實的任何情況下結(jié)論必須是真的,則稱論證是()。
參考答案:
有效的邏輯上有效的論證的結(jié)論是其前提的()。
參考答案:
一個邏輯后承一個論證是可靠的,需要滿足下面的哪些條件。
參考答案:
有效的;前提和結(jié)論都真每個n元謂詞被解釋為一個與謂詞有相同元數(shù)的()。
參考答案:
性質(zhì);關(guān)系恒等的自反性是指:()。
參考答案:
a=a;?(a1a)形式證明比非形式證明簡單。()
參考答案:
錯第六章測試參考答案:
對參考答案:
對參考答案:
對參考答案:
錯參考答案:
****如果P和Q是FOL語句,那么()也是。
參考答案:
****參考答案:
真、真參考答案:
;參考答案:
;參考答案:
;;;第七章測試參考答案:
對參考答案:
對參考答案:
錯參考答案:
錯參考答案:
****S是一個重言式當(dāng)且僅當(dāng)S的真值表的每一行的真值()。
參考答案:
都為真有一些Tarskis’World必然真語句是()。
參考答案:
重言式如果S是一個重言式,那么S是()。
參考答案:
邏輯真的;邏輯必然的如果S是一個重言式,那么它也是()語句。
參考答案:
邏輯真;Tarskis’World必然真有些Tarskis’World必然真語句不是()。
參考答案:
重言式;矛盾式;邏輯真語句第八章測試參考答案:
對參考答案:
對參考答案:
錯參考答案:
對沒有前提的一個證明表明它是系統(tǒng)的一條(
)。
參考答案:
定理參考答案:
****參考答案:
****參考答案:
;參考答案:
證明;假設(shè)參考答案:
;第九章測試參考答案:
對參考答案:
對參考答案:
錯參考答案:
錯沒有前提的一個證明表明它的結(jié)論是一條()。
參考答案:
邏輯真理參考答案:
****參考答案:
****參考答案:
;參考答案:
P;Q;R;S
參考答案:
;;;第十章測試參考答案:
對參考答案:
對參考答案:
錯參考答案:
****參考答案:
****參考答案:
重言等值
參考答案:
;參考答案:
;;德摩根律是指:()。
參考答案:
;參考答案:
對第十一章測試參考答案:
對參考答案:
對參考答案:
錯參考答案:
錯參考答案:
****參考答案:
****參考答案:
****參考答案:
;;參考答案:
;;;在Fitch中,等值引入規(guī)則要求給出兩個子證明,它們表明()。
參考答案:
Q可以從P推出;P可以從Q推出第十二章測試一階語言FOL有無窮多個變項。
參考答案:
對一個語句(閉公式)是一個沒有自由變項的公式。
參考答案:
對每個邏輯真語句都是重言式。
參考答案:
錯一個一階語言FOL不可以沒有常項。()
參考答案:
錯參考答案:
自由出現(xiàn)參考答案:
自由出現(xiàn)一個量化語句是一個重言式當(dāng)且僅當(dāng)它的真值函項形式是一個()。
參考答案:
重言式參考答案:
;所有重言式都是()。
參考答案:
塔斯基世界必然真的;邏輯真的;一階有效的下面哪些公式是亞里士多德語句形式。
參考答案:
;;第十三章測試一階語言FOL有無窮多個常項。
參考答案:
錯一個語句(閉公式)是一個沒有自由變項的公式。
參考答案:
對每個邏輯真語句都是Tarski’sWorld必然真語句。
參考答案:
對參考答案:
自由出現(xiàn)參考答案:
自由出現(xiàn)在Tarski’sWorld中,()表示個體常項。
參考答案:
a參考答案:
;;
下面哪些公式是亞里士多德語句形式。
參考答案:
;一個語言FOL可以沒有謂詞。()
參考答案:
對一個開公式是至少有一個自由變項的公式。()
參考答案:
對第十四章測試參考答案:
對參考答案:
對參考答案:
對參考答案:
錯參考答案:
某一立方體在某一錐體的左邊參考答案:
每一立方體都在每一錐體的左邊參考答案:
****在Fitch中,系統(tǒng)F的全稱量詞規(guī)則有()。
參考答案:
全稱量詞消去規(guī)則;全稱量詞引入規(guī)則在Fitch中,系統(tǒng)F的存在量詞規(guī)則有()。
參考答案:
存在量詞引入規(guī)則;存在量詞消去規(guī)則參考答案:
;;第十五章測試參考答案:
對參考答案:
對參考答案:
對參考答案:
錯參考答案:
c必須是個體常項參考答案:
c必須是個體常項參考答案:
****參考答案:
;;;在Fitch中,系統(tǒng)F的存在量詞規(guī)則有()。
參考答案:
存在量詞消去規(guī)則;存在量詞引入規(guī)則
在Fitch中,系統(tǒng)F的全稱量詞規(guī)則有()。
參考答案:
全稱量詞消去規(guī)則;全稱量詞引入規(guī)則第十六章測試一個好的策略是找到一個非形式的證明然后試著形式化它。
參考答案:
對在證明中,如果你遇到困難,請考慮用矛盾證明法。
參考答案:
對倒推的方法在證明全稱斷言時不是非常有用的。
參考答案:
錯系統(tǒng)F不具有可靠性。()
參考答案:
錯在使用全稱量詞引入規(guī)則時,要求引入的常項c(
)出現(xiàn)在引入它的子證明的外面。
參考答案:
不能在使用存在量詞消去規(guī)則時,要求引入的常項c(
)出現(xiàn)在引入它的子證明
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 五年級數(shù)學(xué)口算100題
- 昆明冶金高等??茖W(xué)?!夺t(yī)學(xué)文獻(xiàn)檢索1》2023-2024學(xué)年第一學(xué)期期末試卷
- 江蘇食品藥品職業(yè)技術(shù)學(xué)院《中外文學(xué)名著欣賞藏》2023-2024學(xué)年第一學(xué)期期末試卷
- 吉林建筑大學(xué)《商務(wù)統(tǒng)計實訓(xùn)》2023-2024學(xué)年第一學(xué)期期末試卷
- 湖南軟件職業(yè)技術(shù)大學(xué)《GIS軟件應(yīng)用實驗(一)》2023-2024學(xué)年第一學(xué)期期末試卷
- 湖北幼兒師范高等??茖W(xué)?!哆^程原理》2023-2024學(xué)年第一學(xué)期期末試卷
- 【物理】《跨學(xué)科實踐:制作微型密度計》(教學(xué)設(shè)計)-2024-2025學(xué)年人教版(2024)初中物理八年級下冊
- 高考物理總復(fù)習(xí)《功和功率、動能定理》專項測試卷含答案
- 中國民航大學(xué)《中級財務(wù)會計Ⅱ》2023-2024學(xué)年第一學(xué)期期末試卷
- 鄭州理工職業(yè)學(xué)院《服裝展示設(shè)計》2023-2024學(xué)年第一學(xué)期期末試卷
- 2025年湖北武漢工程大學(xué)招聘6人歷年高頻重點提升(共500題)附帶答案詳解
- 大堂經(jīng)理:黃金業(yè)務(wù)營銷講座
- 山東省建筑工程消防設(shè)計部分非強(qiáng)制性條文適用指引
- 內(nèi)蒙古自治區(qū)呼和浩特市《綜合能力測試》事業(yè)單位國考真題
- 陜西省咸陽市各縣區(qū)鄉(xiāng)鎮(zhèn)行政村村莊村名居民村民委員會明細(xì)及行政區(qū)劃代碼
- 綠城物業(yè)室內(nèi)公共區(qū)域清潔作業(yè)規(guī)程
- 封條模板A4直接打印版
- 危險貨物道路運輸企業(yè)安全檢查通用清單
- 用友NC財務(wù)軟件操作手冊
- 眼內(nèi)炎患者護(hù)理查房
- 電工維修培訓(xùn)資料 維修電工技術(shù)學(xué)習(xí) 維修電工常識 電工培訓(xùn)ppt課件
評論
0/150
提交評論