Université de M’sila Logique mathématique (2éme Licence)

Faculté de MI Examen du Semestre Année universitaire: 2022-2023

Département d’informatique Correction Durée 1h:30m

Exercice N°1: (7 pts) Soient les formules propositionnelle suivantes:

𝐹1: 𝑠 ⇒ 𝑙 ∨ 𝑚 𝐹2 : 𝑚 ⇒ ¬𝑙 ∧ ¬s 𝐹3 : ¬𝑙 ⇒ ¬𝑠 𝐹4 : 𝑚 ⇒ (𝑠 ⇒ 𝑚)
1 ) Remplir la table de vérité des formules 𝐹1, 𝐹2, et 𝐹3.

𝑠 𝑙 𝑚 F1 F2 F3 (𝐹1 ∧ 𝐹2) ⇒ 𝐹3
(0.25) (0.25) (0.25) (1pt)
1 1 1 1 0 1 1
1 1 0 1 1 1 1
1 0 1 1 0 0 1
1 0 0 0 1 0 1
0 1 1 1 0 1 1
0 1 0 1 1 1 1
0 0 1 1 1 1 1
0 0 0 1 1 1 1

2 ) Dire si la formule 𝐹1 est valide, satisfiable, insatisfiable ?

La formule n'est pas valide (une ligne de la table où elle est fausse). (0.25)
Elle est satisfiable (une ligne où elle est vraie) (0.25) et donc elle n'est pas insatisfiable. (0.25)
3 ) Utiliser la table de vérité pour vérifier que : {𝐹1, 𝐹2} ⊨ 𝐹3 ?
On ajoute une colonne pour (𝐹1 ∧ 𝐹2) ⇒ 𝐹3 dans la table de vérité pour calculer ses valeurs de vérité.
Alors {𝐹1, 𝐹2} ⊨ 𝐹3 parce que 𝐹1 ∧ 𝐹2) ⇒ 𝐹3 est tautologie. (0,5pt)
4 ) En utilisant les règles d’équivalence, mettre sous la forme normale conjonctive la formule 𝐹1 ∧ 𝐹2.
(1.5pt)
𝐹1 ∧ 𝐹2 ≡ (𝑠 ⇒ 𝑙 ∨ 𝑚) ∧ (𝑚 ⇒ ¬𝑙 ∧ ¬s )
≡ (¬𝑠 ∨ 𝑙 ∨ 𝑚) ∧ (𝑚 ⇒ ¬𝑙 ∧ ¬s )
≡ (¬𝑠 ∨ 𝑙 ∨ 𝑚) ∧ (¬𝑚 ∨ (¬𝑙 ∧ ¬s) )
≡ (¬𝑠 ∨ 𝑙 ∨ 𝑚) ∧ ((¬𝑚 ∨ ¬𝑙) ∧ (¬𝑚 ∨ ¬s))
≡ (¬𝑠 ∨ 𝑙 ∨ 𝑚) ∧ (¬𝑚 ∨ ¬𝑙) ∧ (¬𝑚 ∨ ¬s)) FNC
5 ) En utilisant les règles d’équivalence, vérifier que ¬𝐹4 est insatisfiable. (1pt)
¬𝐹4 ≡ ¬(𝑚 ⇒ (𝑠 ⇒ 𝑚))
≡ ¬(𝑚 ⇒ (¬𝑠 ∨ 𝑚))
≡ ¬(¬𝑚 ∨ (¬𝑠 ∨ 𝑚))
≡ (𝑚 ∧ (𝑠 ∧ ¬𝑚))
≡ (𝑠 ∧ (𝑚 ∧ ¬𝑚))
≡ 𝑠 ∧ 0
≡ 0
Alors ¬𝐹4 est insatisfiable.
6 ) En utilisant la résolution par réfutation, démontrer que: {𝐹1, 𝐹2} ⊢ 𝐹3
{𝐹1, 𝐹2} ⊢ 𝐹3 ≡ {𝐹1, 𝐹2} ⊢ 𝐹3
Mise en forme clausale : (0.5pt)
𝐹1: 𝑠 ⇒ 𝑙 ∨ 𝑚 ≡ ¬𝑠 ∨ 𝑙 ∨ 𝑚
𝐹2 : 𝑚 ⇒ ¬𝑙 ∧ ¬s ≡ ¬𝑚 ∨ ¬(𝑙 ∧ ¬s) ≡ (¬𝑚 ∨ ¬𝑙) ∧ (¬𝑚 ∨ ¬s)
1/2
𝐹3 : ¬𝑙 ⇒ ¬𝑠 ≡ 𝑙 ∨ ¬𝑠
¬𝐹3 ≡ ¬𝑙 ∧ 𝑠
{ 𝑭𝟏, 𝑭𝟐, ¬𝑭𝟑} ≡ {¬𝑠 ∨ 𝑙 ∨ 𝑚 , ¬𝑚 ∨ ¬𝑙, ¬𝑚 ∨ ¬s, ¬𝑙 , 𝑠}
Application de l’algorithme de réfutation : (1pt)
1. ¬𝑠 ∨ 𝑙 ∨ 𝑚
2. ¬𝑚 ∨ ¬𝑙
3. ¬𝑚 ∨ ¬s
4. ¬𝑙
5. 𝑠
6. 𝑙 ∨ 𝑚 R(1,5)
7. 𝑚 R(4,6)
8. ¬s R(3,7)
9. □ R(5,8)

Exercice N°2: (6 pts)

1. Traduisez les phrases suivantes en logique propositionnelle:
a. Les roses ne sont ni des animaux, ni des fleurs. (0.5)
¬𝑝 ∧ ¬𝑞
𝑝: Les roses sont des animaux 𝑞: Les roses sont des animaux
b. L’informatique facilite l'administration et facilite ou non la pédagogie. (0.5)
p ∧ (q ∨ ¬q)
p: L’informatique facilite l'administration. q: L’informatique facilite la pédagogie
c. Quand il fait beau, Amine est heureux ; or, il fait mauvais ; donc Amine est malheureux. (1pt)
(q ⇒ p) ∧ ¬𝑞 ⇒ ¬𝑝.
p: il fait beau. q : Amine est heureux.
2. Traduisez les phrases suivantes en logique des prédicats:
a. Tous les plombiers sont des hommes. (0.5)
∀𝑥 𝑃(𝑥) ⇒ 𝐻(𝑥)
P(x): x est Plombier, H(x): x est Homme
b. Tout homme qui aime les animaux n’est pas mauvais. (0.5)
∀𝑥 𝐻(𝑥) ∧ 𝐴(𝑥) ⇒ ¬𝑀(𝑥)
H(x): x est Homme, A(x): x aime les animaux, M(x): x est Mauvais
c. Quiconque regarde passer les trains et n'est pas méchant, doit nécessairement être heureux. (1pt)
∀𝑥 ((R(x) ∧ ¬M(x)) ⇒ H(x))
M(x) : est méchant. R(x) : regarde passer les trains. H(x) : est heureux

3. Pour les formules 1.b et 2.c, écrire la négation de ces formules.

¬F 1.b : ¬(p ∧ (q ∨ ¬q)) ≡ (¬p ∨ (¬q∧ q)) (1pt)
¬F 2.c : ¬(∀𝑥 ((R(x) ∧ ¬M(x)) ⇒ H(x))) ≡ ¬(∀𝑥 ((R(x) ∧ ¬M(x)) ⇒ H(x))) (1pt)
≡ ∃𝑥 ((R(x) ∧ ¬M(x)) ∧ H(x)))
Exercice N°3: (7 pts)
Soient:
𝐹1: ∀𝑥((∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑦( 𝑅(𝑥, 𝑦) ⇒ 𝑆(𝑦))))
1 ) Quand dit-on qu'une variable est libre dans une formule ? (0,5)
Une variable est dite libre dans une formule si elle possède au moins une occurrence libre.

2 ) Les variables 𝑥 et 𝑦 sont-elles libres dans la formule 𝐹1 ? (0,5)

Les variables x et y sont des variables liées car toutes ses occurrences sont liées.
3 ) A partir de l'arbre de décomposition, donner l'ensemble des sous-formes de la formule 𝐹1.
Arbre : (0,5)
Ensemble des sous formule : { 𝑅(𝑥, 𝑓(𝑦)), 𝑅(𝑥, 𝑦), 𝑅(𝑥, 𝑦) ⇒ 𝑆(𝑦), ∀𝑦( 𝑅(𝑥, 𝑦) ⇒ 𝑆(𝑦)), ∃𝑦 𝑅(𝑥, 𝑓(𝑦)),
∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑦( 𝑅(𝑥, 𝑦) ⇒ 𝑆(𝑦))), 𝐹1} (0,5)
4 ) Calculer ¬𝐹1

¬𝐹1 ≡ ¬ (∀𝑥 ((∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑦( 𝑅(𝑥, 𝑦) ⇒ 𝑆(𝑦)))))

≡ ¬ (∀𝑥 ((∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑦(¬ 𝑅(𝑥, 𝑦) ∨ 𝑆(𝑦))))) (0,5)

≡ (∃𝑥 ((∀𝑦 ¬𝑅(𝑥, 𝑓(𝑦))) ∧ ( ∃𝑦( 𝑅(𝑥, 𝑦) ∧ ¬𝑆(𝑦))))) (0,5)

5 ) Mettre sous formule Skolme la formule 𝐹.

∀𝑥 ((∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑦( 𝑅(𝑥, 𝑦) ⇒ 𝑆(𝑦))))

∀𝑥 ((∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑧( 𝑅(𝑥, 𝑧) ⇒ 𝑆(𝑧)))) (0,5)

∀𝑥 ((∃𝑦 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ∀𝑧( ¬ 𝑅(𝑥, 𝑧) ∨ 𝑆(𝑧)))) (0,5)

∀𝑥∃𝑦∀𝑧 (( 𝑅(𝑥, 𝑓(𝑦))) ∨ ( ( ¬ 𝑅(𝑥, 𝑧) ∨ 𝑆(𝑧)))) (0,5)

∀𝑥∀𝑧 (( 𝑅(𝑥, 𝑓(𝑔(𝑥)))) ∨ ( ( ¬ 𝑅(𝑥, 𝑧) ∨ 𝑆(𝑧)))) (0,5)

6 ) Donner une interprétation 𝐹2: ∀x ∀y ∀z (P(f(x, y), z) ) ⇒P(y, g(z, x)) est valide. (1pt)
D : Z, f : addition sur les entiers relatifs, g : soustraction sur les entiers relatifs, P : relation d'ordre stricte.

7 ) Proposer une formule 𝐹3 qui soit toujours fausse. Cette formule doit être utilisée au moins un
connecteur ⇒. (1pt)
∀𝑥 ¬(𝑃(𝑥) ⇒ 𝑃(𝑥))