examen

Corrigé du TD de logique n?9 - DENIF

Corrigé du TD de logique n?9. Modèles de Kripke. Exercice 1 : Un exercice débile graphique. 1?) a ¬a b ¬b a?b b?a a?b b?a a?b?a (¬a?a)?a. 1 n n n n n.



Télécharger Corrigé du TD de logique n?9 - DENIF pdf