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é.
Comment démontrer une affirmation ? Pour démontrer une affirmation, nous devons utiliser un raisonnement mathématique.
Des exemples sont le raisonnement par récurrence, le raisonnement déductif, le raisonnement par contre-exemple, le raisonnement par disjonction de cas et le raisonnement par l'absurde.
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.