有些Tarski s’World 必然真語句不是（）。 - 播寶寶

首頁題庫

題目：有些Tarski s’World 必然真語句不是（）。

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

有些Tarski s’World 必然真語句不是（）。

A.可滿足式

B.邏輯真語句

C.重言式

D.矛盾式

正確答案：邏輯真語句；重言式；

矛盾式

關鍵字：智慧樹

相關試題

1.沒有前提的一個證明表明它是系統的一條（）。 2.沒有前提的一個證明表明它的結論是一條（）。 3.在Fitch中，等值引入規則要求給出兩個子證明，它們表明（）。 4.一階語言FOL有無窮多個變項。 5.一個語句（閉公式）是一個沒有自由變項的公式。

推薦

返回頂部