La structure d'une démonstration est toujours la même : Liste des hypothèses utiles – une seule propriété – une seule conclusion.
En écrivant la propriété, vérifier que l'on a introduit clairement tout ce dont elle parle.
La conclusion doit bien entendu se déduire directement de la propriété.
Méthode de démonstration de P⇔Q
Une affirmation de la forme P⇔Q est équivalente à (P⇒Q)∧(Q⇒P).
Pour prouver P⇔Q, il suffit donc de prouver P⇒Q et de prouver Q⇒P.
La démonstration apparait comme étant un outil majeur pour l'homme dans sa quête de connaissance, puisqu'elle permet par son raisonnement déductif, de trouver une certaine vérité.
Cependant ce même raisonnement déductif présente des failles, la démonstration aboutie et réussie est considérée comme étant vraie.