Exercice 1 : Logique propositionnelle.

Soit la formule propositionnelle A définie comme suit [7pts]: ((p⇒¬q) ⇒¬p) ∧ r

1) Ecrire la formule A sous forme d’arbre.

2) Donner la table de vérité de la formule A.

3) Donner une forme normale conjonctive pour la formule A.

4) Cette formule est-elle valide ? justifier votre réponse.

5) Cette formule est-elle satisfiable ? si oui donner un modèle.

SOLUTION
1. Formule A sous forme d'arbre :

∧
/\

⇒ ⇒ r / \ | p ¬ ¬q

2. Table de vérité de la formule A :

p q r (p⇒¬q) ⇒¬p ((p⇒¬q) ⇒¬p) ∧ r

0 0 0 1 0

0 0 1 1 1

0 1 0 1 0

0 1 1 1 1

1 0 0 0 0

1 0 1 1 1

1 1 0 1 0

1 1 1 1 1

3. Forme normale conjonctive de A :

¬p ∨ ¬q ∨ r

4. Pour déterminer si la formule A est valide, il suffit de vérifier si elle est vraie pour toutes les
valeurs possibles de ses variables propositionnelles. En examinant la table de vérité, on peut
constater que, pour toutes les combinaisons de valeurs de p, q et r, la formule A est vraie. Par
conséquent, la formule A est valide.
5. La formule A est satisfiable, car elle est vraie pour toutes les combinaisons possibles de
valeurs de p, q et r. Un exemple de modèle serait p=true, q=false et r=true.
Exercice 2 : Traduire en logique de premier ordre les faits suivants
[4pts]
1) Nana est un employé

2) Nana est un Bafeuteun

3) Tous les Bafeuteun sont les Hateuc

4) Menta est un Togoh

5) Tout le monde est fidèle à quelqu'un

6) Tous Hateuc sont fidèle à Menta ou le détestent

7) seuls les Togohs qu'un employé essaie de tuer sont ceux auquel il n'est pas loyal

8) Nana a essayé de tuer Menta

SOLUTION
Voici la traduction en logique de premier ordre des faits mentionnés :

1. employé(Nana)

2. Bafeuteun(Nana)

3. ∀x (Bafeuteun(x) → Hateuc(x))

4. Togoh(Menta)

5. ∀x ∃y fidèle(x,y)

6. ∀x (Hateuc(x) → (fidèle(x,Menta) ∨ déteste(x,Menta)))

7. ∀x ∀y ((Togoh(x) ∧ employé(y) ∧ essaie_de_tuer(y,x)) → ¬loyal(y,x))

8. essaie_de_tuer(Nana,Menta)

Note : Les symboles ∧,∨,¬,→ représente respectivement les connecteurs logiques "et", "ou", "non" et
"implique". "∀" indique une quantification universelle, et "∃" indique une quantification existentielle.
Exercice 3 [3pts]
Soit les prédicats suivants :

-FIDELE(X, Y) : X est fidèle à Y ;

-AIMER(X,Y) : X aime Y ;

-HOMME(X) : X est un homme

-HAIR(X, Y) : X hait Y

Traduire en logique des prédicats du 1er ordre les assertions suivantes :

1. Chacun aime quelqu'un ;

2. Soit tout homme aime CHANTOU, soit tous la haïssent ;

3. Les hommes ne haïssent que ceux qu’ils n’aiment pas ;

SOLUTION
Voici la traduction en logique mathématique des assertions données :

1. ∀x ∃y AIMER(x,y)

2. ∀x (HOMME(x) → (AIMER(x,CHANTOU) ∨ ∀y (HOMME(y) → HAIR(x,y))))

3. ∀x ∀y ((HOMME(x) ∧ HAIR(x,y)) → ¬AIMER(x,y))

Note: "∀" représente la quantification universelle, et "∃" représente la quantification existentielle.

"→" représente l'implication logique.
Exercice 4 [6 pts]
Soit la formule F1 suivante :

F1 = x (y (z Q(x,y,z)  P(x,y))  yz P(y,z))

Donner :

- sa forme Prenexe

- sa forme de Skolem

- sa forme Clausale

SOLUTION
La réponse à l'exercice 4 est :

- La forme Prénexe de F1 est : xuvyz (Q(x,y,z)  P(x,y))  P(u,v)

- La forme de Skolem de F1 est : uv (Q(f(u,v),g(u,v),h(u,v))  P(f(u,v),g(u,v)))  P(u,v)
- La forme clausale de F1 est : {¬Q(x,y,z),P(x,y),¬P(y,z)}