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
- 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