Logique Travaux Dirigés - Partie 4 Corrigés - Université Bretagne Sud
Exercice 2. Etudier à l'aide de la méthode des tableaux sémantiques la correction des raisonnements (a) à (f) et la validité de la formule (g) ci-dessous. (a).
Exercice 2. Etudier à l'aide de la méthode des tableaux sémantiques la correction des raisonnements (a) à (f) et la validité de la formule (g) ci-dessous. (a).