L2S3 – Maths pour l’info
Travaux Dirigés 4
Logique du premier ordre
Exercice 1 Syntaxe des formules
On considère la signature S={a, b, c, E, =}a,b,csont des prédicats unaires, Eest
un prédicat binaire, et =est le prédicat d’égalité. On appelle FO(S)la logique du premier
ordre sur la signature S.1.
Les expressions suivantes sont-elles des formules de FO(S)?
1. x(xy)2. ¬a(x)
3. (xy)4. xa(x)b(x)
5. xy((a(y)a(x)) x=y)6. (xa(x)) y(b(y)E(x, y))
7. (x c(x)) (y(a(y)(x(b(x)E(y, x)))))
Donnez une Sstructure contenant au moins quatres éléments et dans laquelle aucune
interprétation des prédicats de Sn’est une relation vide.
Exercice 2 Aquarium
On considère une signature avec des prédicats unaires tels que humain,raison,poisson,
enfant, etc, et des prédicats binaires tels que gentil,ami,ennemi,aime, etc. Les variables
sont supposées représenter des êtres vivants (humains, poissons...). Traduisez chacune des
phrases suivantes en une formule de la logique du premier ordre :
1. Tous les êtres humains sont doués de raison.
2. Seuls les êtres humains sont doués de raison.
3. Les enfants sont des humains.
4. Aucun végétal n’est doué de raison.
5. Tous les poissons, sauf les requins, sont gentils avec les enfants.
6. Tout le monde aime quelqu’un et personne n’aime tout le monde.
7. Tout humain a des amis et des ennemis (comprendre : au moins un de chaque).
1. On parle aussi de logique du premier ordre munie des prédicats a,b,c,Eet de l’égalité =
1
Exercice 3 Libre ou liée ?
On considère une signature S{a, b, E, F}aet bsont des prédicats unaires, Eun
prédicat binaire, Run prédicat d’arité 3.
1. Pour chacune des formules suivantes, déterminez les occurrences liées et libres de
chaque variable. Pour cela vous pouvez dessiner l’arbre syntaxique de la formule.
(a) (x a(x)) (y b(y))
(b) (x a(x)) (y E(x, y))
(c) (x E(x, y)) (y F(x, y))
(d) xz(E(x, z)xyR(x, y, z))
(e) x(((x E(x, z)) E(x, x)) ((yx R(x, y, z)) z E(z, y)))
2. En renommant certaines variables, transformez chaque formule de sorte que chaque
variable n’ait soit que des occurences libres, soit que des occurences liées.
3. Une formule est dite close si elle ne contient aucune variable libre. Parmi les formules
précédentes, lesquelles sont closes ?
4. Donnez pour chacune des quatre premières formules une Sstructure dans la quelle
la formule peut être vraie.
Exercice 4 Une paire de premiers
On considère une signature S={Pr, Pa}avec deux prédicats unaires : Pr qui repré-
sentent les nombres premiers, et Pa qui représent les nombres pairs.
Traduisez en formules logiques de FO(S)les énoncés :
1. Tout nombre pair est premier.
2. Aucun nombre pair n’est premier.
3. Certains nombres premiers sont pairs.
4. Certains nombres premiers ne sont pas pairs.
Parmi les formules obtenues, lesquelles sont vraies dans N? Justifier les réponses.
Exercice 5 Relations binaires
1. Rappelez ce qu’est une relation réflexive, symétrique, irréflexive et transitive.
2. On considère la signature S={=, R}Rest un prédicat binaire. Écrivez les formules
du premier ordre correspondant à ces propriétés pour la relation correspondant à R.
3. Écrivez la formule qui dit qu’une relation symétrique et transitive est reflexive. Cette
formule a-t-elle un modèle ? Peut-on donner une interprétation qui la rende fausse ?
4. Écrivez la formule qui dit qu’une relation transitive et irréflexive est symétrique.
Cette formule a-t-elle un modèle ? Peut-on donner une interprétation qui la falsifie.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !