Logique : ENSIIE 1A - contrôle final - CORRIGÉ Mardi 11 mai 2010
LIFLC Logique classique TD 5. Correction ... Exercice 2: On consid`ere l'alphabet : ? Constantes : titi, sylvestre, tom, jerry, spike. ? Symboles de prédicats ...
LIFLC Logique classique TD 5. Correction ... Exercice 2: On consid`ere l'alphabet : ? Constantes : titi, sylvestre, tom, jerry, spike. ? Symboles de prédicats ...