Le calcul des séquents
Conditions d’achèvement
Méthode des tableaux
Cliquer le lien L1 - Outils logiques - 3.pdf pour afficher le fichier.