Module : Logique Formelle

Date : 13 Décembre 2019 Classes : II1

Enseignantes : Sonia Ben Ticha, Inès Alaya, Hela Boukef Ben Othman
Durée : 2 heures Documents : non autorisés
Nb_pages : 2
EXAMEN Logique Formelle

Exercice 1 (3,5 points)

Soit la formule A suivante :

A=((abc) (a b) (b c)(ac)) (((ab)c) ((bc)a) ((ac) b))

1. Exprimez la forme clausale de ¬A sachant que : a  b  (a   b)  ( a  b).

2. Prouvez A est valide par la méthode de Robinson.

Exercice 2 (3 points)

Si la paix survient, alors il y aura une crise économique ou le pays se dote d'armes nouvelles ou
bien exécute un large programme d'investissement intérieur dans les secteurs de l'enseignement,
de la santé et de la lutte contre la pauvreté. Il n'est pas possible de se mettre d'accord sur les
objectifs que peut se donner un large programme d'investissement intérieur. Donc si la paix
survient et qu'il n'y a pas de crise économique le pays doit se doter d'armes nouvelles.

Questions : Prouver que ce raisonnement est correct en utilisant :

a) La méthode de résolution de Robinson en utilisant une stratégie linéaire input.
b) Peut-on appliquer la stratégie SLD ? Justifier votre réponse.

Exercice 3 (3,5)

On se place dans la logique des prédicats du premier ordre.

On considère les prédicats d'arité 2 : Egal(x,y) : x est égale à y et Diff(x,y) : x est différent de y
dont les raccourcis d'écriture sont respectivement = et ≠
Soient les formules suivantes :
a) ∀x∀y∀z∀t ( x≠y Λ y≠z Λ z≠x Λ ( t = x v t = y v t = z))
b) x y zt ( x≠y Λ y≠z Λ z≠x Λ ( t = x v t = y v t = z))
c) x y z∀t ( x≠y Λ y≠z Λ z≠x Λ ( t = x v t = y v t = z))
Déterminer la satisfiabilité des formules a, b et c dans les cinq L-structures suivantes, variant
par leur domaine d'interprétation respectifs :
D1 = { 0 }, D2 = { 0, 1}, D3 = {0, 1, 2} , D4 = {0, 1, 2, 3} , D5 = ℕ

Exercice 4 (4 points)

Traduire les 5 phrases suivantes en logique des prédicats d’ordre 1 en utilisant uniquement les
prédicats : F(x) : x est une feuille, T(x) : x est un tiroir, C(x) : x est classeur, P(x) : x est un
polycopié, Dans(x,y) : x est dans y
1. Tous les tiroirs contiennent des feuilles.
2. Aucun des classeurs ne contient de polycopiés.
3. Dans l'un des classeurs, il n'y a que des polycopiés.
4. Si les polycopiés ne sont pas dans les classeurs, elles sont dans des tiroirs.
5. S'il y a des feuilles dans un tiroir, on est certain de ne pas y trouver de polycopiés.

1
Exercice 5 (6 points)

Le iPhone est un téléphone mobile. Ali a toujours son iPhone avec lui. Si un téléphone mobile
se situe à l’intérieur d’une zone couverte par un réseau sans-fil, alors il fonctionne. Ali se trouve
à l’ENSI. L’ENSI est une école. Toutes les écoles sont couvertes par un réseau sans-fil.

Questions :

1) Traduire ce raisonnement en logique des prédicats d’ordre 1 en utilisant uniquement les

prédicats suivants :
T(x) : x est un téléphone mobile
C(x) : x est couverte par le réseau sans fil
E (x) : x est une école
F(x) : x fonctionne
Setrouve(x,y) : x se trouve dans y
2) Prouvez que l’iPhone fonctionne en utilisant
a) Une approche sémantique (par interprétation)
b) La méthode de résolution en appliquant la stratégie SLD