validité de cette preuve

Question

J'ai la preuve suivante pour un si p, alors q déclaration (p -> q)

1. par contraposition: p -> q == q ~ -> ~ p
2. la contradiction est: ~ q -> p
3. montrent un contre-exemple pour la contradiction
4. par contradiction ~ q -> ~ p == vrai
5. par contraposition p -> q == true

Cela semble être une preuve valide, mais cela semble aussi trop simple, et cela signifie généralement que quelque chose ne va pas.

Answer 1

Bien que cette question ne contient aucun élément de programmation et est donc hors sujet pour ce forum, je pense que vous trouverez un problème à l'étape 2. La déclaration qui contredit ~q --> ~p serait ~(~q --> ~p), pas ~q --> p.