Académie Internationale Mohammed6 de l'Aviation Civile A.U.

2022/2023
Casablanca
GI18- 2ième année -Génie Informatique
Série N°2 : TD Intelligence Artificielle
Logique des propositions

Exercice 1 : (Formes normales conjonctives et disjonctives)

A) Mettre sous formes normales conjonctives les formules suivantes :
● (p∧ (q→ r)) → s

● (p∧¬q) ↔ (q → r)

B) Soit la formule suivante: F=(p∧q) ↔ (¬p → q) où p et q sont des variables

propositionnelles.
1) Mettre cette formule sous forme normale conjonctive puis disjonctive.
2) En déduire si F est une tautologie, insatisfiable ou satisfiable.

Exercice 2 : (Principe de résolution)

Soient les formules suivantes :
F1 = (p∧¬q) → (r ∨ s)

F2 = (r ∨ q) → (u ∧ v)

F3 = ¬(¬u → v)

H = p→ s

1) Ecrire ces formules sous formes clausales.

2) En utilisant le principe de résolution montrez que {F1, F2, F3} ⊨ H

Exercice 3 :( Preuve par résolution)

Soient les assertions suivantes:
A1: Si Ali n'a pas rencontré Driss l'autre nuit c'est que Driss est le meurtrier ou Ali
est un menteur.
A2: Si Driss n'est pas le meurtrier, alors Ali n'a pas rencontré Driss l'autre nuit et le
crime a eu lieu après minuit.
A3: Si le crime a eu lieu après minuit, alors Driss est le meurtrier ou Ali n'est pas un
menteur.
A4: Driss est le meurtrier.
1- Représentez ces assertions dans la logique des propositions.
2- Écrivez chaque formule dans la forme clausale.
3- En utilisant une preuve par résolution, montrer la conséquence logique suivante :
{A1, A2, A3} ⊨ A4
Exercice 4 : (Réfutation)
Soient les formules suivantes :
 ● F1 = ¬ (p ∧ s ∧ r) ;

● F2 = (p ∧ q ∧¬r) → s;

● F3 = (p ∧ s) → r

● H = p → (q → r)
En utilisant la résolution par réfutation montrer que {F1, F2, F3} ⊨ H.