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.
La démonstration est une exigence rationnelle de preuves et de justification.
Néanmoins, toutes les connaissances ne peuvent pas dépendre d'une démonstration, qui se limite à montrer la cohérence formelle d'une proposition avec d'autres.
La vérité de ce qui est démontré dépend de la vérité des prémisses.