CC – IA et Applications

UPAC, Durée 1H30mn

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.

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
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 ;
 Soit tout homme aime CHANTOU, soit tous la haïssent ;
3. Les hommes ne haïssent que ceux qu’ils n’aiment pas ;
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