自然演繹：交換元素的前提下得出結論

我如何從前提~~（AvB）到~~（BvA）。一直在工作很長一段時間，但我還沒有找到解決方案。感謝幫助！自然演繹：交換元素的前提下得出結論

我投票關閉這一問題作爲題外話，因爲它是關於自然演繹/邏輯/證明論/數學，而不是直接有關編程或編碼。 – Pang

令<->表示等價。我們有，

~~(A v B) <-> A v B   ; law of double negation 
    A v B <-> B v A   ; because v is commutative 
    B v A <-> ~~(B v A)  ; again, double negation

因此

~~(A v B) <-> ~~(B v A)

2015-10-15 00:13:52

OK @WillNess。在我的答案中，我使用了單詞的數學含義，當函數f是*冪等的時候，它應用兩次時什麼都不做，即它與自身的組合是身份（'f（f（x））= x'。） –

@WillNess你說得對。謝謝！我會解決我的答案。 –

謝謝大家！ –

回答