Corrigé de certains exercices du TD de logique No 4 (23 et 26 ...

Pour ce troisième TD, nous allons poursuivre notre étude du Calcul des Proposi- tions ou Logique Propositionnelle (LP0). Les exercices sont de difficultés ...