logique des prédicats - CNRS
Module IA - Logique, Session 4. Exercice 2. Donner les variables libres et liées des formules suivantes: a) (P(f(X, Y)) ? ?Z R(a, Z)) b) (?X P(X, Y, Z) ...
Module IA - Logique, Session 4. Exercice 2. Donner les variables libres et liées des formules suivantes: a) (P(f(X, Y)) ? ?Z R(a, Z)) b) (?X P(X, Y, Z) ...