Université de Yaoundé I University of Yaounde I

ENSET d’Ebolowa HTTTC of Ebolowa

Département d’Informatique
INF243, Rappels sur la logique des prédicats, Avril 2021
MESSI NGUELÉ Thomas, PhD

Comme précedemment, ces rappels se feront sous formes de questions de cours et de réponses
qui seront données pendant la séance de cours. Dans cette deuxième partie consacrée à la logique
prédicats, pour répondre à ces questions, les étudiants pourront utiliser le cours de G. Falquet
http://cui.unige.ch/isi/icle-wiki/_media/cours:ffsi:ffsi-chap-5.pdf
1. Généralités.
(a) Quelle différence y a t’il entre la logique propositionnelle et la logique des prédicats ?
(b) Que représentent les variables en logique des prédicats ?
(c) Donner les types d’énoncés que l’on distingue en logique des prédicats.
2. Syntaxe.
(a) Rappeler le vocabulaire de la logique des prédicats.
(b) Rappeler la grammaire des formules en logique des prédicats.
(c) Quand dit-on qu’une variable est liée ? Et quand dit-on qu’une varible est libre ?
Donner un exemple à chaque fois.
3. Sémantique.
(a) Comment se fait l’interprétation en logique des prédicat ?
(b) Rappeler comment se fait l’interprétation des termes et des prédicats.
(c) Soit le vocabulaire composé des symboles :
constantes a, b, c, d, k1 , k2 , k3 , k4
prédicats P (unaire), E (unaire), C (unaire), S (binaire)
variables x, y, z, u, v, w
On interprète ce langage dans le domaine composé des étudiants, des cours, des
personnes et des inscriptions d’une (micro) université. Le domaine est l’ensemble
D = P ersonne ∪ Etudiant ∪ Cours :
Personne = {Amadou, Bomba, Chimini, Djoumbe}
Etudiant = {Amadou, Bomba, Chimini}
Cours = {inf204, inf206, inf202, inf208}
L’interprétation des constantes est donnée par : I(a) = Amadou, I(b) = Bomba, I(c)
= Chimini, I(d) = Djoumbe, I(k1) = inf204, I(k2) =inf206, I(k3) = inf202, I(k4) =
inf208
et l’interprétation des prédicats par :
I(P) = Personne, I(E) = Etudiant, I(C) = Cours,
I(S) = Inscription = {(Amadou, inf204), (Bomba, inf206), (Chimini, inf202)}.
Donner les interprétations suivantes :
i. I(C(a)),

Rappels sur la logique des prédicats Page 1/2 INF243, Avril 2021
 ii. I(S(c, k1)),
iii. I(∃xS(x, inf 208)),
iv. I(∀x∃yS(x, y)),
v. I(∀x(E(x) → ∃yS(x, y))).
(d) Soit J une interprétation définie par :
i. D = {Douala, Buea, Ebolowa} ∪ N
ii. J(ville) = {Douala, Buea, Ebolowa}
iii. J(distance) = {(Douala, Buea, 300), (Douala, Ebolowa, 500), (Buea, Ebolowa, 800)
, (Douala, Douala, 0), (Buea, Buea, 0), (Ebolowa, Ebolowa, 0)}
Quelle est l’interprétation de la formule suivante :
∀x∀y(ville(x) ∧ ville(y) ⇒ ∃z(distance(x, y, z) ∨ distance(y, x, z))
4. Déduction.
(a) Rappeler les règles d’introduction et de suppression des quantificateurs universels et
existentiels.
(b) Utiliser les règles d’introduction et de suppression des quantificateurs pour déduire
(∃yA(y)) de (∀xA(x)).
5. Normalisation et Résolution.
(a) Rappeler les quatre étapes permettant de mettre sous forme normale en logique des
prédicats.
(b) Mettre sous Forme Prénexe :
i. ∀x∀y(E(x, y) → ∃zA(x, z)).
ii. ∀x((∃y(A(x, y)) → B(x)).
iii. ∀x∃yA(x, y) → ∃zQ(z, y) ∧ ∀xB(r, x).
(c) Donner la forme Skolémisée de :
i. ∀x∀y∃z(E(x, y) → A(x, z)).
ii. ∀x∃u∀y∃z(P (x, u) → (Q(u, y) ∧ R(y, z))).
iii. ∃h∀z∀x∃yP (h, x, y, z).
(d) Montrer que les trois formules f1 = ∀x((S(x) ∨ T (x)) ⇒ P (x)), f2 = ∀x(S(x) ∨
R(x)), f3 = R(a) ont pour conséquence la formule P (a)
Le prochain cours portera sur la programmation logique avec PROLOG.

Rappels sur la logique des prédicats Page 2/2 INF243, Avril 2021