Chap3
Conditions d’achèvement
Raisonnement dans la logique propositionnelle