伊莎貝爾邏輯簡單自然演繹試驗

第30行有什麼問題？伊莎貝爾說，這「無法完成proof⌂：目標（2子目標）： 1.¬P⟹Q 2.問⟹¬P」

這是一個自然的推論類理論

的該處所的秩序是錯誤的順序。如果您按照以下順序對其進行重新排序，則接受此證明。

from pq and npq and qq show "Q" by (rule disjE)

您可以通過

thm disjE

希望這有助於勒

檢查所期待的順序

2016-05-10 06:51:42

回答