Introduction

Représentation des preuves

Axiome et règle d'affaiblissement

Règles d'introduction, règles d'élimination

Règles pour les formules true et false

Règles pour le connecteur ⇒

Règles pour le connecteur ∧

Règles pour le connecteur ∨

Règles pour le connecteur ¬

Exemple de preuve

Logique classique, raisonnement par l'absurde

Règles dérivées