Exercices corrigés de logique du premier ordre

Exercices corrigés de logique du premier ordre

Exercices corrigés de logique du premier ordre. 1- Analyser les formules suivantes (dire si ce sont des formules, donner arbres, occurrences libres ...