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.
A) Les principes de la démonstration
Ne pas se contredire : principe de non-contradiction.
Ne pas nier l'existence d'une chose qui est : principe d'identité.
Il n'y a pas de milieu entre le vrai et le faux : principe du tiers-exclu.
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.