Université Badji Mokhtar Annaba Promotion : 2eme année LMD

Département d'informatique Année 2020/2021

Solution série 3 du TD logique mathématique

Exer i e 1 Solution :
1)
1. Vrai
2. Faux
3. Vrai
4. Vrai
5. Faux
2)
1. Vrai
2. Faux
3. Faux
4. Faux
5. Faux
6. Vrai
3)
1. Vrai
2. Vrai
3. Vrai
4. Vrai
5. Faux
6. Vrai

Exer i e 2 Solution :
1) Vrai, 2) Faux, 3) Faux, 4) Vrai.

Exer i e 3 Solution :
1) La table de vérité de ¬(p ∧ q) est omme suit :

p q p∧q ¬(p ∧ q)
V V V F
V F F V
F V F V
F F F V
2) La table de vérité de ¬p ∨ ¬q est omme suit :

p q ¬p ¬q ¬p ∨ ¬q
V V F F F
V F F V V
F V V F V
F F V V V

1 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021

3) La table de vérité de ¬(p ∨ q) est omme suit :

p q p∨q ¬(p ∨ q)
V V V F
V F V F
F V V F
F F F V
4) La table de vérité de ¬p ∧ ¬q est omme suit :
p q ¬p ¬q ¬p ∧ ¬q
V V F F F
V F F V F
F V V F F
F F V V V
5) La table de vérité de p ∨ (p ∧ q) est omme suit :

p q p∧q p ∨ (p ∧ q)
V V V V
V F F V
F V F F
F F F F
6) La table de vérité de p ∧ (p ∨ q) est omme suit :

p q p∨q p ∧ (p ∨ q)
V V V V
V F V V
F V V F
F F F F
7) La table de vérité de p est omme suit :

p
V
F

Les équivalen es sont :

- ¬(p ∧ q) ≡ ¬p ∨ ¬q
- ¬(p ∨ q) ≡ ¬p ∧ ¬q
- p ∨ (p ∧ q) ≡ p ∧ (p ∨ q) ≡ p

Exer i e 4 Solution :
1) ¬p ≡ Il ne fait pas froid.
2) p ∧ q ≡ Il fait froid et il pleut.
3) p ∨ q ≡ Il fait froid ou il pleut.
4) q ∨ ¬p ≡ Il pleut ou il ne fait pas froid.
5) ¬p ∧ ¬q Il ne fait pas froid et il ne pleut pas.

2 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021

6) ¬¬q Ce n'est pas vrai qu'il ne pleut pas (ou bien on peut mettre "il pleut").

Exer i e 5 Solution :
1) Eri lit Mat h ou l'Express, mais ne lit pas les E hos ≡ p ∨ q ∧ ¬r.
2) Eri lit Mat h et l'Express, ou il ne lit ni Mat h ni les E hos ≡ (p ∧ q) ∨ (¬p ∧ ¬r).
3) Ce n'est pas vrai qu'Eri lit Mat h mais pas les E hos ≡ ¬(p ∨ ¬r).
4) Ce n'est pas vrai qu'Eri lit les E hos ou l'Express mais pas Mat h ≡ ¬((r ∨ q) ∨ ¬p).

Exer i e 6 Solution :
1) Premièrement, il faut introduire les variables propositionnelles.
"A" : pour " Ahmed ommande un dessert ".
"L" : pour " Ali ommande un dessert ".
"M" : pour " Mostafa ommande un dessert ".

Maintenant, on va transformer les phrases en logique propositionnelle.

1. La phrase 1 donne : A −→ L,
2. La phrase 2 donne : (L ∧ ¬M) ∨ (¬L ∧ M),
3. La phrase 3 donne : A ∨ M,
4. La phrase 4 donne : M −→ A.

2) Pour voir réellement qui a ommandé un dessert, on fait la table de vérité de la formule
globale "F1 " omposée à partir de la onjon tion de toutes les armations pré édentes
dans le but de voir tous les modèles possibles.
La formule globale "F1 " = (A −→ L) ∧ ((L ∧ ¬M) ∨ (¬L ∧ M)) ∧ (A ∨ M) ∧ (M −→ A).
La table de vérité est alors omme suit :

Interprétations A L M A→L (L ∧ ¬M) ∨ (¬L ∧ M) A∨M M →A F1

I1 V V V V F V V F
I2 V V F V V V V V
I3 V F V F V V V F
I4 V F F F F V V F
I5 F V V V F V F F
I6 F V F V V F V F
I7 F F V V V V F F
I2 F F F V F F V F
La seule interprétation qui rend vraie la formule "F1 " est l'interprétation I2 dans laquelle
Ahmed et Ali ommandent un dessert mais pas Mostafa. Car les valeurs de vérité des
propositions A et L sont vraies mais la proposition M = faux (dans la ligne deux de la
table de vérité).
3) Si on relâ he l'une des ontraintes pré édentes, alors il y' aura toujours un deuxième
modèle qui apparait et dans e as on pourra pas on lure (pour on lure, il faut toujours
avoir un seul modèle pour la formule F1 ).

3 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021

Exer i e 7 Solution :
1) La table de vérité de la formule (p|q) est omme suit :

p q (p|q)
V V F
V F V
F V V
F F V
2) La table de vérité de la formule ((p|q)|(p|q)) est omme suit :
p q (p|q) ((p|q)|(p|q))
V V F V
V F V F
F V V F
F F V F
On retrouve la table de vérité de p ∧ q
3) Le onne teur ¬ : ¬p ≡ ¬(p ∧ p) ≡ (p|p)
On peut donner sa table de vérité :

p (p|p)
V F
F V
- Le onne teur ∨ : p ∨ q ≡ ¬(¬p ∧ ¬q) ≡ (¬p|¬q) ≡ (p|p)|(q|q).

- Le onne teur −→ : p −→ q ≡ ¬p ∨ q ≡ ¬(p ∧ ¬q) ≡ p|¬q ≡ p|(q|q).

Exer i e 8 Solution :

a) La table de vérité de la formule (¬P ∧ ¬Q) → (¬P ∨ R) est omme suit :

P Q R ¬P ¬Q ¬P ∧ ¬Q ¬P ∨ R (¬P ∧ ¬Q) → (¬P ∨ R)

V V V F F F V V
V V F F F F F V
V F V F V F V V
V F F F V F F V
F V V V F F V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
La formule est valide.

b)La table de vérité de la formule P ∧ (Q → P ) → P est omme suit :

4 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021
P Q P → Q P ∧ (Q → P ) P ∧ (Q → P ) → P
V V V V V
V F V V V
F V F F V
F F V F V
La formule est valide.

)La table de vérité de la formule (P ∨ Q) ∧ ¬P ∧ ¬Q est omme suit :

P Q P ∨ Q ¬P ¬Q ¬P ∧ ¬Q (P ∨ Q) ∧ ¬P ∧ ¬Q
V V V F F F F
V F V F V F F
F V V V F F F
F F F V V V F
La formule est invériable.

d) La table de vérité de la formule (P → Q) ∧ (Q ∨ R) ∧ P est omme suit :

P Q R P → Q Q ∨ R (Q ∨ R) ∧ P (P → Q) ∧ (Q ∨ R) ∧ P
V V V V V V V
V V F V V V V
V F V F V V F
V F F F F F F
F V V V V F F
F V F V V F F
F F V V V F F
F F F V F F F
La formule est vériable.

e) La table de vérité de la formule ((P ∨ Q) → R) ↔ P est omme suit :

P Q R P ∨ Q (P ∨ Q) → R ((P ∨ Q) → R) ↔ P
V V V V V V
V V F V F F
V F V V V V
V F F V F F
F V V V V F
F V F V F V
F F V F V F
F F F F V F
La formule est vériable.

Exer i e 9 Solution :
a) Mettre sous forme normale disjon tive (FND) la formule : (A ∨ B ∨ C) ∧ (C ∨ ¬A).

(A ∨ B ∨ C) ∧ (C ∨ ¬A)
≡ (A ∧ (C ∨ ¬A)) ∨ (B ∧ (C ∨ ¬A)) ∨ (C ∧ (C ∨ ¬A)) La distributivité.

5 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021

≡ ((A ∧ C) ∨ (A ∧ ¬A)) ∨ ((B ∧ C) ∨ (B ∧ ¬A)) ∨ ((C ∧ C) ∨ (C ∧ ¬A)) La distributivité.

≡ (A ∧ C) ∨ ((B ∧ C) ∨ (B ∧ ¬A)) ∨ (C ∨ (C ∧ ¬A)) On a enlevé (A ∧ ¬A) = Faux
selon la règle d'insatisabilité.
≡ (A ∧ C) ∨ ((B ∧ C) ∨ (B ∧ ¬A)) ∨ C On a rempla é (C ∨ (C ∧ ¬A)) par C selon
l'absorption.
≡ (A ∧ C) ∨ (B ∧ C) ∨ (B ∧ ¬A) ∨ C
b) Mettre sous forme normale disjon tive (FND) la formule : (A ∨ B) ∧ (C ∨ D).

(A ∨ B) ∧ (C ∨ D)
≡ (A ∧ (C ∨ D)) ∨ (B ∧ (C ∨ D)) La distributivité.
≡ ((A ∧ C) ∨ (A ∧ D)) ∨ ((B ∧ C) ∨ (B ∧ D)) La distributivité.
≡ (A ∧ C) ∨ (A ∧ D) ∨ (B ∧ C) ∨ (B ∧ D)

) Mettre sous forme normale disjon tive (FND) la formule : ¬((A ∨ B) → C).

¬((A ∨ B) → C)
≡ ¬(¬(A ∨ B) ∨ C) La transformation de l'impli ation en disjon tion.
≡ (A ∨ B) ∧ ¬C On a distribué le ¬.
≡ ¬C ∧ (A ∨ B) La ommutativité du ∧.
≡ (¬C ∧ A) ∨ (¬C ∧ B) La distributivité.

Exer i e 10 Solution :
a) Mettre sous forme normale onjon tive (FNC) la formule : (A ∨ B) → (C ∧ D).

(A ∨ B) → (C ∧ D)
≡ ¬(A ∨ B) ∨ (C ∧ D) La transformation de l'impli ation en disjon tion.
≡ (¬A ∧ ¬B) ∨ (C ∧ D) Loi de Morgan.
≡ (¬A ∨ (C ∧ D)) ∧ (¬B ∨ (C ∧ D)) La distributivité.
≡ ((¬A ∨ C) ∧ (¬A ∨ D)) ∧ ((¬B ∨ C) ∧ (¬B ∨ D)) La distributivité.
≡ (¬A ∨ C) ∧ (¬A ∨ D) ∧ (¬B ∨ C) ∧ (¬B ∨ D)

b) Mettre sous forme normale onjon tive (FNC) la formule : (A∨(¬B ∧(C ∨(¬D ∧E)))).

(A ∨ (¬B ∧ (C ∨ (¬D ∧ E))))

≡ (A ∨ (¬B ∧ ((C ∨ ¬D) ∧ (C ∨ E)))) La distributivité.
≡ ((A ∨ ¬B) ∧ (A ∨ ((C ∨ ¬D) ∧ (C ∨ E)))) La distributivité.
≡ ((A ∨ ¬B) ∧ ((A ∨ C ∨ ¬D) ∧ (A ∨ C ∨ E))) La distributivité.
≡ (A ∨ ¬B) ∧ (A ∨ C ∨ ¬D) ∧ (A ∨ C ∨ E)

) Mettre sous forme normale onjon tive (FNC) la formule : A ↔ (B ∧ ¬C).

A ↔ (B ∧ ¬C)
≡ (A → (B ∧ ¬C)) ∧ ((B ∧ ¬C) → A) La transformation de ↔ en double →.
≡ (¬A∨(B ∧¬C))∧(¬(B ∧¬C)∨A) La transformation de l'impli ation en disjon tion.
≡ (¬A ∨ (B ∧ ¬C)) ∧ ((¬B ∨ C) ∨ A) Loi de Morgan.
≡ ((¬A ∨ B) ∧ (¬A ∨ ¬C)) ∧ ((¬B ∨ C) ∨ A) La distributivité.
≡ (¬A ∨ B) ∧ (¬A ∨ ¬C) ∧ (¬B ∨ C ∨ A).

6 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021

Exer i e 11 Solution :
a) ⊢ A ↔ A
1⊢ A → (A → A) s he 1a, rempla er le B par A
2⊢ (A → (A → A)) → ((A → ((A → A) → A)) → (A → A)) she 1b, rempla er le B
par A → A et le C par A
3⊢ (A → ((A → A) → A)) → (A → A) mp 1,2
4⊢ A → ((A → A) → A) s he 1a, rempla er le B par A → A
5⊢ A → A mp 3,4
6⊢ (A → A) → ((A → A) → (A ↔ A)) s h 9, rempla er le B par A
7⊢ (A → A) → (A ↔ A) mp 5,6
8⊢ A ↔ A mp 5,7

b) ⊢ ¬B → (B → A)
1⊢ (¬B → (¬A → ¬B)) → (((¬A → ¬B) → (B → A)) → (¬B → (B → A)) s h 1d,
rempla er le A par ¬B , le B par (¬A → ¬B) et le C par B → A
2⊢ ¬B → (¬A → ¬B) s h 1a, rempla er le A par ¬B et le B par ¬A
3⊢ ((¬A → ¬B) → (B → A)) → (¬B → (B → A)) mp 1,2
4⊢ (¬A → ¬B) → (B → A) s h 8
5⊢ ¬B → (B → A) mp 3,4

Exer i e 12 Solution :
a) A → (B → C), A ∧ B ⊢ C
1⊢ A → (B → C) hyp 1
2⊢ A ∧ B hyp 2
3⊢ A ∧ B → A s h 3a
4⊢ A mp 2,3
5⊢ B → C mp 4,1
6⊢ A ∧ B → B s h 3b
7⊢ B mp 2,6
8⊢ C mp 7,5

b) A → (B → C), B ⊢ A → C
1⊢ A → (B → C) hyp 1
2⊢ B hyp 2
3⊢ (A → B) → ((A → (B → C)) → (A → C)) s h 1b
4⊢ B → (A → B) s h 1a, rempla er le A par B et le B par A
5⊢ (A → B) mp 2,4
6⊢ (A → (B → C)) → (A → C) mp 5,3
7⊢ A → C mp 1,6

) A, B ∧ C, A ∧ C → E ⊢ E
1⊢ A hyp 1
2⊢ B ∧ C hyp 2
3⊢ A ∧ C → E hyp 3
4⊢ A → (C → A ∧ C) s h 2, rempla er le B par C

7 M.Mendjel
Université Badji Mokhtar Annaba Promotion : 2eme année LMD
Département d'informatique Année 2020/2021

5⊢ C → A ∧ C mp 1,4
6⊢ B ∧ C → C s h 3b, rempla er le A par B et le B par B
7⊢ C mp 2,6
8⊢ A ∧ C mp 7,5
9⊢ E mp 8,3

d) E, E → (A ∧ D), D ∨ F → G ⊢ G
1⊢ E hyp 1
2⊢ E → (A ∧ D) hyp 2
3⊢ D ∨ F → G hyp 3
4⊢ A ∧ D mp 1,3
5⊢ A ∧ D → D s h 3b, rempla er le B par D
6⊢ D mp 4,5
7⊢ D → d ∨ F s h 4a, rempla er le A par D et le B par F
8⊢ D ∨ F mp 6,7
9⊢ G mp 8,3

8 M.Mendjel