一個量化語句是一個重言式當且僅當它的真值函項形式是一個（）。 - 播寶寶

首頁題庫

題目：一個量化語句是一個重言式當且僅當它的真值函項形式是一個（）。

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

一個量化語句是一個重言式當且僅當它的真值函項形式是一個（）。

A.矛盾式

B.可滿足式

C.重言式

D.永假式

正確答案：重言式

關鍵字：智慧樹

相關試題

1.Ò»½×ÓïÑÔFOLÓÐÎÞÇî¶à¸ö³£Ïî¡£ 2.每個邏輯真語句都是Tarski’s World必然真語句。 3.在Tarski’s World中，（）表示個體常項。 4.一個語言FOL可以沒有謂詞。（） 5.一個開公式是至少有一個自由變項的公式。（）

推薦

返回頂部