倒推的方法在證明全稱斷言時不是非常有用的。 - 播寶寶

首頁題庫

題目：倒推的方法在證明全稱斷言時不是非常有用的。

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

倒推的方法在證明全稱斷言時不是非常有用的。

A.對

B.錯

正確答案：錯

關鍵字：智慧樹

相關試題

1.系統F不具有可靠性。（） 2.在使用全稱量詞引入規則時,要求引入的常項c（）出現在引入它的子證明的外面。 3.在使用存在量詞消去規則時,要求引入的常項c（）出現在引入它的子證明的外面。 4.可靠性斷言：在系統F中，從前提P我們可以證明的任意事情，實際上，是這個前提的一個（）。 5.倒推的方法在證明（）。

推薦

返回頂部