TD5 : Logique des prédicats du premier ordre (sémantique) - LaBRI
Les exercices sont indépendants. Exercice 1 (Logique du premier ordre et syntaxe) exo sur 4 points. Question 1. 1 point Quand dit-on qu'une variable est libre ...
Les exercices sont indépendants. Exercice 1 (Logique du premier ordre et syntaxe) exo sur 4 points. Question 1. 1 point Quand dit-on qu'une variable est libre ...