一個語言FOL可以沒有謂詞。（） - 播寶寶

首頁題庫

題目：一個語言FOL可以沒有謂詞。（）

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

一個語言FOL可以沒有謂詞。（）

A.對

B.錯

正確答案：對

關鍵字：智慧樹

相關試題

1.一個開公式是至少有一個自由變項的公式。（） 2.在Fitch中，系統F的存在量詞規則有（）。 3.一個好的策略是找到一個非形式的證明然後試著形式化它。 4.在證明中,如果你遇到困難,請考慮用矛盾證明法。 5.倒推的方法在證明全稱斷言時不是非常有用的。

推薦

返回頂部