首頁
題庫
題目:如果S是一個重言式,那麼S是()。
騰訊雲服務器2核/2G/3M(61元/首年)
騰訊輕量雲2核/2G/4M(99元/年續費同價)
騰訊雲服務器老用戶專享
如果S是一個重言式,那麼S是()。
A.邏輯真的
B.邏輯不可能的
C.邏輯必然的
D.Tarski s’World必然真的
正確答案:邏輯真的;邏輯必然的
點擊顯示答案
關鍵字:
智慧樹
相關試題
1.如果S是一個重言式,那麼它也是()語句。
2.有些Tarski s’World 必然真語句不是()。
3.沒有前提的一個證明表明它是系統的一條()。
4.沒有前提的一個證明表明它的結論是一條()。
5.在Fitch中,等值引入規則要求給出兩個子證明,它們表明()。
推薦
答案10秒後自動顯示!
返回頂部