Examen 2013 avec corrigé - LRI 19 déc. 2013 ... Il existe un algorithme qui étant donnée une formule du calcul des prédicats
répond vrai ... Exercice 2 Logique propositionnelle (7 points).
Examen 2013 avec corrigé - LRI 19 déc. 2013 ... Il existe un algorithme qui étant donnée une formule du calcul des prédicats
répond vrai ... Exercice 2 Logique propositionnelle (7 points).