一階語言FOL有無窮多個變項。 - 播寶寶

首頁題庫

題目：一階語言FOL有無窮多個變項。

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

一階語言FOL有無窮多個變項。

A.對

B.錯

正確答案：對

關鍵字：智慧樹

相關試題

1.一個語句（閉公式）是一個沒有自由變項的公式。 2.每個邏輯真語句都是重言式。 3.一個量化語句是一個重言式當且僅當它的真值函項形式是一個（）。 4.Ò»½×ÓïÑÔFOLÓÐÎÞÇî¶à¸ö³£Ïî¡£ 5.每個邏輯真語句都是Tarski’s World必然真語句。

推薦

返回頂部