在一階邏輯的語言FOL中，每個個體常項必須命名一個實際存在的對象。 - 播寶寶

首頁題庫

題目：在一階邏輯的語言FOL中，每個個體常項必須命名一個實際存在的對象。

騰訊雲服務器2核/2G/3M（61元/首年） 騰訊輕量雲2核/2G/4M（99元/年續費同價）騰訊雲服務器老用戶專享

在一階邏輯的語言FOL中，每個個體常項必須命名一個實際存在的對象。

A.對

B.錯

正確答案：對

關鍵字：智慧樹

相關試題

1.Boole與Fitch相同，也有一個自帶的練習文件夾。（） 2.一個個體常項不能命名多個對象。 3.一個對象不能有多個名字。 4.在Tarski’s World的模塊語言中，隻有（）個一元謂詞。 5.在Tarski’s World的模塊語言中，隻有（）個三元謂詞。

推薦

返回頂部