TD2 : Logique des prédicats

1. Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera à chaque
fois l’interprétation des prédicats utilisés — par exemple A(x,y) = x aide y). En cas d’énoncé
ambigu, on proposera deux formules.
a. Jamal est plus grand que Mina

b. Paul a vu Léa et elle ne l’a pas vu

c. Si Jamal est un homme, alors il est mortel

d. Un chat est entré

e. Certains enfants ne sont pas malades

f. Tous les éléphants ont une trompe

g. Tous les hommes n’aident pas Mina

h. Il y a une chanson qu’aucun enfant ne chante

i. Si tous les hommes aident Mina, alors elle est contente

j. Tous les fermiers apprécient un ministre

2. Traduisez les quatre propositions du carré d’opposition en logique des prédicats. Dans
chaque cas, il y a deux possibilités de traduction, avec les deux quantificateurs.
3. Traduisez en logique des prédicats les propositions suivantes, et, en cas d’ambiguïté, donnez
toutes les traductions correspondantes.
a. Bien que personne ne fasse de bruit, Jamal n’arrive pas à se concentrer

b. Si personne ne fait de bruit, Jamal répondra au moins à une question

c. Tout le monde a menti à quelqu’un dans sa vie

d. Tous les étudiants, sauf Jean, sont présents

e. Aucun enfant ne fait jamais aucune bêtise

f. Tout le monde a lu un livre de logique

4. Traduire les phrases suivantes en logique des prédicats
a. Quand quelqu’un fait confiance à quelqu’un qui a trompé tout le monde, il a tort
b. Il n’y a pas de grand champion qui n’ait causé de tort à personne
c. Il faut qu’une porte soit ouverte ou fermée

1|Page
 1-Formules atomiques (atomes), variables, termes, formules du premier ordre
(formules)
Lorsqu’il s’agit de la logique des prédicats et selon les auteurs, on trouvera
indifféremment atome pour désigner une ”formule atomique” et formules pour désigner
les ”formules du premier ordre”.
Dans les formules suivantes, qu’est-ce qui est atomes, variables, termes, formules ?
(∀x∃y∀tR(x,z,t)) → (∃x∀y∃tS(x,z,t))) (∀x∃z∀tR(x,z,t)) → (∃x∀z∃tS(x,z,t)) Mettre ces
formules sous forme prénexe.
Skolem, Herbrand
Considérons les énoncés suivants :
1. Tous les descendants d’un pigeon peuvent voler
2. Joe a au moins un parent gris ou blanc
3. Un pigeon est satisfait si tous ses descendants peuvent voler
4. Les pigeons gris peuvent voler
5. Un pigeon est blanc s’il a au moins un parent gris ou blanc
Mettre les énoncés 1 à 5 sous forme de formules, puis mettre sous forme clausale les
formules 3 à 5. On se place dans l’univers des pigeons.
Mettre sous forme clausale les énoncés suivants (exemple tiré du ”manuel de survie
disponible sur le web” :
Etre un terrien implique trois choses :
1. le terrien vit sur la Terre
2. il n’existe pas de Martien qui soit parent avec un Terrien
3. il n’existe pas de non Terrien qui soit connu d’un Terrien

2- Validation de formules
2.1 Rappels
Pour montrer qu’une formule est valide, on procède par réfutation, c’est-à-dire en
tentant de satisfaire la formule inverse.
Exemple :
Pour montrer que F = ∀x∃y∀z(R(x,z) → R(x,y)) est valide universellement, on suppose
qu’elle ne le soit pas : ¬F = ∃x∀y∃z(R(x,z)V¬R(x,y)), puis la mise sous forme standard de
Skolem de ¬F donne ¬F = ∃x∀y(R(x,f(y))V¬R(x,y)). La forme clausale (ensemble de clauses
qui chacune correspond à un atome) de ¬F est C¬F = {R(a,f(y1),¬R(a,y2) dont l’ensemble de
réalisations C0 = {R(a,f(a),¬R(a,f(a))} est insatisfiable. La négation de F ne peut être vraie,
la formule est donc universellement valide.
2|Page
 2.2 Application
Montrer que ∃x∀y(((U(x) → U(y)) → T(x)) → T(y)) est universellement valide.
Valider le raisonnement suivant :
1. Quelques chandelles éclairent très mal
2. Les chandelles sont faites pour éclairer
3. donc : quelques objets qui sont fait pour éclairer le font très mal
3 Déduction
Soit l’ensemble des propositions suivantes :
1. Un dragon est heureux si tous ses enfants peuvent voler
2. Les dragons verts peuvent voler
3. Un dragon est vert s’il a au moins un parent vert ou rose Montrez que :

1. Les dragons sans enfants sont heureux

2. Les dragons verts sont heureux

3|Page