此证明的有效性

Question

我有一个if p then q语句（p - ＆gt; q）

的以下证明

1. 通过对立：p - ＆gt; q == ~q - ＆gt; 〜P
2. 矛盾是：~q - ＆gt; P
3. 显示矛盾的反例
4. 矛盾~q - ＆gt; ~p == True
5. 通过对位p - > q == true

它看起来是一个有效的证据，但它似乎也太简单了，这通常意味着错误。

Answer 1

虽然这个问题不包含任何编程元素，因此对于这个论坛来说是偏离主题的，但我认为你会发现第2步有问题。与~q --> ~p相矛盾的陈述是~(~q --> ~p)，而不是~q --> p。