本证明的有效性

Question

我有以下证明 if p then q statement (p --> q)

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

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

Answer 1

虽然这个问题不包含编程元素，因此与本论坛无关，但我认为您会发现第 2 步有问题。与~q --> ~p 相矛盾的陈述将是~(~q --> ~p)，而不是~q --> p。