Professional Documents
Culture Documents
TD 2
TD 2
Exercise 1
1. Donner une forme normale conjonctive de la formule :
Exercise 2
Les énoncés suivants sont-ils vrais ou faux ? S’ils sont vrais, le démontrer, et s’ils sont faux, donner un contre-
exemple.
1. Si p |=0 q alors p |=0 q ∨ r.
2. Si p |=0 q alors p ∨ r |=0 q.
3. Si p |=0 q et r |=0 u alors p ∨ r |=0 q ∨ u.
2 Méthode de Résolution
Exercise 3
Utiliser la méthode de résolution pour prouver ce qui est demandé.
1. Montrer que le calcul de résolution est correct.
2. Prouver que S est insatisfaisable :
S = {p, ¬p ∨ q, ¬q ∨ r, ¬q ∨ ¬r} .
3. Prouver que S est insatisfaisable :
S = {p ∨ q, p ∨ ¬q, r ∨ q, r ∨ ¬q} .
page 1