Logique et Programmation Logique - Université de Strasbourg
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 ...