首頁
題庫
題目:沒有前提的一個證明表明它的結論是一條()。
騰訊雲服務器2核/2G/3M(61元/首年)
騰訊輕量雲2核/2G/4M(99元/年續費同價)
騰訊雲服務器老用戶專享
沒有前提的一個證明表明它的結論是一條()。
A.邏輯真理
B.矛盾式
C.可滿足式
D.永假式
正確答案:邏輯真理
點擊顯示答案
關鍵字:
智慧樹
相關試題
1.在Fitch中,等值引入規則要求給出兩個子證明,它們表明()。
2.一階語言FOL有無窮多個變項。
3.一個語句(閉公式)是一個沒有自由變項的公式。
4.每個邏輯真語句都是重言式。
5.一個量化語句是一個重言式當且僅當它的真值函項形式是一個()。
推薦
答案10秒後自動顯示!
返回頂部