如果S是一個重言式，那麼它也是（）語句。 - 播寶寶

首頁題庫

題目：如果S是一個重言式，那麼它也是（）語句。

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

如果S是一個重言式，那麼它也是（）語句。

A.邏輯真

B.Tarski s’World 必然真

C.矛盾的

D.不可滿足的

正確答案：邏輯真；Tarski s’World 必然真

關鍵字：智慧樹

相關試題

1.有些Tarski s’World 必然真語句不是（）。 2.沒有前提的一個證明表明它是系統的一條（）。 3.沒有前提的一個證明表明它的結論是一條（）。 4.在Fitch中，等值引入規則要求給出兩個子證明，它們表明（）。 5.一階語言FOL有無窮多個變項。

推薦

返回頂部