TD5 : Logique des prédicats du premier ordre (sémantique) - LaBRI
Les exercices sont indépendants. Exercice 1 (Logique du premier ordre et syntaxe) ... prédicats suivants : ? grippe(x) : x a la grippe A. ? prendre(x, y) : x ...
Les exercices sont indépendants. Exercice 1 (Logique du premier ordre et syntaxe) ... prédicats suivants : ? grippe(x) : x a la grippe A. ? prendre(x, y) : x ...