Faculté des Sciences de Bizerte A.

U 2019/2020
Département de Mathématiques GLSI1

LOGIQUE FORMELLE
Exercices de Révision
Exercice 1
Soit la formule propositionnelle F=(A(BC))(B(AC))
1/. Représenter l’arbre de décomposition associée à F.
2/. En déduire la catégorie de F.

Exercice 2
On considère les deux formules G et H suivantes :
G= (AC)(AB) et H = ((BC)A)B
1/. Mettre chacune des formules G et H en forme normale conjonctive.
2/. Ecrire l’ensemble S des clauses associé à GH.
3/. En déduire que H est une conséquence sémantique de G. (G |= H).

Exercice3
Soit L un langage du calcul des prédicats, comprenant le symbole de fonction f unaire et les
symboles de prédicats P unaire et R binaire.
On désigne par F une formule donnée dans le langage L par :
F= x((R(x,y)  y P(y))  zR(f(z),x))
1- Déterminer l’arbre de décomposition associée à la formule F.
2- Déterminer les termes de F.
3- Déterminer les formules atomiques de F.
4- Déterminer les variables libres et les variables liées de F.
5- Exprimer la formule F[x/y] : substitution de y par la variable x dans F.

Exercice 4
Traduire les phrases suivantes dans la logique des prédicats. Conserver autant de structure que
possible, et donner la signification employée des prédicats et des constantes.
1/ Nader aime tous les animaux domestiques sauf les chiens.
2/ Certains enfants n’ont pas peur des chiens.
3/ Sarra a reçu un cadeau de Nadia mais rien de Farah.
4/ Quelques examens sont faciles, mais pas tous.
5/ Tous les examens sont longs ou difficiles
6/ Tous les examens sont longs ou tous les examens sont difficiles

Exercice 5
Soit le langage L du premier ordre comprenant un symbole de constante a et un symbole de
prédicat P binaire et soit le domaine D={2,3,4}. On considère dans D l’interprétation I définit de
la manière suivante :
a=3 , P(2,2)=P(3,3)=P(4,4)=1 et P(2,3)=P(2,4)=P(3,2)=P(3,4)=P(4,2)=P(4,3)=0

Calculer : I(x(P(x,a))
I(xy(P(x,y))
I(xy (P(x,y)  P(a,x))