在Fitch中，等值引入規則要求給出兩個子證明，它們表明（）。 - 播寶寶

首頁題庫

題目：在Fitch中，等值引入規則要求給出兩個子證明，它們表明（）。

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

在Fitch中，等值引入規則要求給出兩個子證明，它們表明（）。

A.P可以從Q推出

B.Q可以從P推出

C.P不能從Q推出

D.Q不能從P推出

正確答案：P可以從Q推出；Q可以從P推出

關鍵字：智慧樹

相關試題

1.一階語言FOL有無窮多個變項。 2.一個語句（閉公式）是一個沒有自由變項的公式。 3.每個邏輯真語句都是重言式。 4.一個量化語句是一個重言式當且僅當它的真值函項形式是一個（）。 5.Ò»½×ÓïÑÔFOLÓÐÎÞÇî¶à¸ö³£Ïî¡£

推薦

返回頂部