首頁
題庫
題目:形式證明和非形式證明在嚴謹性上相同。
騰訊雲服務器2核/2G/3M(61元/首年)
騰訊輕量雲2核/2G/4M(99元/年續費同價)
騰訊雲服務器老用戶專享
形式證明和非形式證明在嚴謹性上相同。
A.對
B.錯
正確答案:對
點擊顯示答案
關鍵字:
智慧樹
相關試題
1.如果在前提是真實的任何情況下結論必須是真的,則稱論證是()。
2.一個論證是可靠的,需要滿足下面的哪些條件。
3.邏輯上有效的論證的結論是其前提的()。
4.恒等的自反性是指:()。
5.每個n元謂詞被解釋為一個與謂詞有相同元數的()。
推薦
答案10秒後自動顯示!
返回頂部