Université de Béjaia Janvier 2020

Département d’informatique
2ème année Licence Logique Mathématique

TD 1

Exercice 1. En associant les énoncés élémentaires Paul est étudiant, Quentin est étudiant, René est
étudiant aux propositions p, q, r, respectivement ; associer à chacun des énoncés suivants la formule
propositionnelle qui semble lui correspondre :
1. Paul et Quentin sont étudiants.
2. Paul ou Quentin est étudiant.
3. Exactement un seul parmi Paul et Quentin est étudiant.
4. Ni Paul ni René ne sont étudiants.
5. Au moins l’un des trois n’est pas étudiant.
6. Un seul parmi les trois n’est pas étudiant.
7. Seulement deux, parmi les trois, sont étudiants.
8. Si Paul est étudiant, Quentin l’est.
9. Si Paul est étudiant, Quentin l’est ; sinon Quentin ne l’est pas.
10. Paul est étudiant à condition que René le soit.
11. Que René soit étudiant est une condition nécessaire pour que Paul le soit.
12. Que René soit étudiant est une condition suffisante pour que Paul le soit.
13. Que René soit étudiant est une condition nécessaire et suffisante pour que Paul le soit.
14. Paul n’est étudiant que si exactement l’un des deux autres l’est.
15. Si Paul est étudiant alors au moins l’un des deux autres ne l’est pas.

Exercice 2. Les inférences suivantes sont-elle vraies ? pourquoi ?

— Si la vie ne vaut pas la peine d’être vécue, alors il est bon de manger de la tarte à la fraise
donc
— Si la vie vaut la peine d’être vécue, alors il n’est pas bon de manger de la tarte à la fraise

Exercice 3. Dans la cour de l’école, Badis donne les informations suivantes à son copain Samy :
1. Si je fais du vélo alors je fais du tennis.
2. Si je ne fait pas du vélo alors je ne fais pas de foot.
3. je ne fais pas de tennis ou ou je fais de la trottinette.
4. je fais du foot.
Donner la forme propositionnelle des phrases précédentes.
Supposons que ce que Badis a déclaré est vrai est ce que la proposition ” Badis fait du vélo” est vrai ?.

Exercice 4. Montrer que les ensembles suivants sont complets : {¬, ∨}, {¬, ∧}, {¬, ∧, ∨}

Exercice 5. Une formule ϕ est dite contingente lorsqu’elle est satisfaisable mais pas une tautologie.
Dire si les formules suivantes sont des tautologies, insatisfiables ou contingentes :
 1. (p ⇒ q) ⇒ p
2. p ⇒ (q ⇒ p)
3. (p ∧ q) ⇒ (p ⇒ ¬q)
4. (p ∨ q) ∧ (¬p ∨ q) ∧ (¬q ∨ p) ∧ (¬p ∧ ¬q ∧ r) ∧ (¬r ∨ s)

Exercice 6. Etant donnée deux propositions P et Q, on définit la proposition (P 4Q) qui est logi-
quement équivalente à (P ∧ Q).
Exprimer, à l’aide du seul symbole 4 les propositions P , P ∧ Q, P ∨ Q, P ⇒ Q.

Exercice 7. Soit l’ensemble des formules E = {α1 , α2 , α3 } et la formule β tels que :

α1 ≡ x ∧ y ∨ z; (1)
α2 ≡ x ⇒ y ∨ z; (2)
α3 ≡ x ∧ y ⇒ z; (3)
β ≡ x ∨ y ∨ z. (4)

1. Donner les tables de vérité des formules α1 , α2 , α3 et β.

2. Montrer que α1 , α2 , α3 , β sont satisfiables (Justifier).
3. E est-il satisfiable ? (Justifier).
4. A-t-on E  β ? (Justifier).
5. A-t-on α1  β ? α2  β ? α3  β? (Justifier).
6. Donner la FNC de β.

Exercice 8. Soit γ la formule suivante :

x∨y ⇒z∧x⇒y∨z

1. Donnez la table de vérité de γ.

2. γ est elle satisfiable ?
3. Trouver une formule β telle que γ |= β mais β 2 γ
4. Donnez la FND de γ.

2
Université de Béjaia
Département d’informatique
2ème Année Licence

Janvier 2020

Logique mathématique

TD 1 : Corrigé

Exercice 1.

1. p ∧ q
2. p ∨ q
3. (p ∧ ¬q) ∨ (¬p ∧ q)
4. ¬p ∧ ¬r
5. ¬p ∨ ¬q ∨ ¬r
6. (¬p ∧ q ∧ r) ∨ (p ∧ ¬q ∧ r) ∨ (p ∧ q ∧ ¬r)
7. (¬p ∧ q ∧ r) ∨ (p ∧ ¬q ∧ r) ∨ (p ∧ q ∧ ¬r)
8. p ⇒ q
9. (p ⇒ q) ∧ (¬p ⇒ ¬q)
10. p ⇒ r
11. p ⇒ r
12. r ⇒ p
13. p ⇔ r
14. p ⇒ ((q ∧ ¬r) ∨ (¬r ∧ r))
15. p ⇒ (¬q ∨ ¬r)
Exercice 2.
Notons :
p : La vie ne vaut pas la peine d’être vécue.
q : Il est bon de manger de la tarte à la fraise.

La forme propositionnelle des inférences :

(p ⇒ q) ⇒ (¬p ⇒ ¬q) ≡ α

p q ¬p ¬q p⇒q ¬p ⇒ ¬q α
1 1 0 0 1 1 1
1 0 0 1 0 1 1
0 1 1 0 1 0 0
0 0 1 1 1 1 1

1
 D’où, l’inférence n’est pas vraie car α n’est pas une tautologie.

Exercice 3.

La forme propositionnelle des phrases :

1. V ⇒ T
2. ¬V ⇒ ¬F
3. ¬T ∨ T R
4. F
La proposition ”Badis fait du vélo” est-elle vraie ?

Puisque ce que Badis a déclaré est vrai, donc on a : F ≡ 1

Remplaçons la valeur de F dans la 2ème proposition, on aura :

¬V ⇒ ¬F ≡ 1
¬V ⇒ ¬1 ≡ 1
¬V ⇒ 0 ≡ 1
¬V ≡ 0
V ≡1

D’où, la proposition ”Badis fait du vélo” est vraie ?

Exercice 4.

• {¬, ∨}
p ∧ q ≡ ¬(¬p ∨ ¬q)
p ⇒ q ≡ ¬p ∨ q
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p) ≡ (¬p ∨ q) ∧ (¬q ∨ p) ≡ (¬p ∨ q) ∨ (¬q ∨ p)

• {¬, ∧}
p ∨ q ≡ ¬(¬p ∧ ¬q)
p ⇒ q ≡ ¬p ∨ q ≡ ¬(p ∧ ¬q)
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p) ≡ (¬p ∨ q) ∧ (¬q ∨ p) ≡ ¬(p ∧ ¬q) ∧ ¬(p ∧ ¬q)

• {¬, ∧, ∨}
p ⇒ q ≡ ¬p ∨ q
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)

2
 Exercice 5.

1. (p ⇒ q) ⇒ p ≡ α

p q p⇒q α
0 0 1 0
0 1 1 0
1 0 0 1
1 1 1 1

La formule α est contingente car elle est satisfiable(elle contient au moins une ligne où
v(α) = 1), mais elle n’est pas une tautologie(elle n’est pas vraie sur toutes les lignes).

2. p ⇒ (q ⇒ p) ≡ β

p q q⇒p β
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1

La formule β est une tautologie car elle est vraie sur toutes les lignes de sa table de
vérité.

3. (p ∧ q) ⇒ (p ⇒ ¬q) ≡ γ

p q ¬q p∧q p ⇒ ¬q γ
0 0 1 0 1 1
0 1 0 0 1 1
1 0 1 0 1 1
1 1 0 1 0 0

La formule γ est contingente car elle est satisfiable(elle contient au moins une ligne où
v(γ) = 1), mais elle n’est pas une tautologie(elle n’est pas vraie sur toutes les lignes).

4. (p ∨ q) ∧ (¬p ∨ q) ∧ (¬q ∨ p) ∧ (¬p ∧ ¬q ∧ r) ∧ (¬r ∨ s) ≡ θ

3
 p q r s ¬p ¬q ¬r p∨q ¬p ∨ q ¬p ∧ ¬q ∧ r ¬r ∨ s θ
0 0 0 0 1 1 1 0 1 0 1 0
0 0 0 1 1 1 1 0 1 0 1 0
0 0 1 0 1 1 0 0 1 1 0 0
0 0 1 1 1 1 0 0 1 1 1 0
0 1 0 0 1 0 1 1 1 0 1 0
0 1 0 1 1 0 1 1 1 0 1 0
0 1 1 0 1 0 0 1 1 0 0 0
0 1 1 1 1 0 0 1 1 0 1 0
1 0 0 0 0 1 1 1 0 0 1 0
1 0 0 1 0 1 1 1 0 0 1 0
1 0 1 0 0 1 0 1 0 0 0 0
1 0 1 1 0 1 0 1 0 0 1 0
1 1 0 0 0 0 1 1 1 0 1 0
1 1 0 1 0 0 1 1 1 0 1 0
1 1 1 0 0 0 0 1 1 0 0 0
1 1 1 1 0 0 0 1 1 0 1 0

La formule θ est insatisfiable car elle est fausse sur toutes les lignes de sa table de vérité.

Exercice 6.

P ∆Q ≡ P ∧ Q
I P ≡ P ∧ P ≡ P ∆P
I P ∧ Q ≡ P ∧ Q ≡ P ∆Q ≡ (P ∆P )∆(Q∆Q)
I P ∨ Q ≡ P ∧ Q ≡ P ∆Q ≡ P ∆Q ∧ P ∆Q ≡ (P ∆Q)∆(P ∆Q)
I P ⇒ Q ≡ P ∨Q ≡ P ∧ Q ≡ P ∆Q ≡ P ∆Q∧P ∆Q ≡ (P ∆Q)∆(P ∆Q) ≡ ((P ∆P )∆Q)∆((P ∆P )∆Q)

Exercice 7.

1. Les tables de vérité des formules α1 , α2 , α3 , β

x y z x∧y y∨z α1 α2 α3 β
0 0 0 0 0 0 1 1 0
0 0 1 0 1 1 1 1 1
0 1 0 0 1 0 1 1 1
0 1 1 0 1 1 1 1 1
1 0 0 0 0 0 0 1 1
1 0 1 0 1 1 1 1 1
1 1 0 1 1 1 1 0 1
1 1 1 1 1 1 1 1 1
2. Oui, les formules α1 , α2 , α3 et β sont satisfiables car leurs tables de vérité contiennent
au moins une ligne où la valeur de vérité est 1.

4
3. Oui, l’ensemble E = {α1 , α2 , α3 } est satisfiable, car il existe au moins une ligne où
les formules α1 , α2 , α3 sont vraies simultanément.
4. β est conséquence logique de E (E  β), car β est vraie sur toutes les lignes où la
valeur de E est vraie.
5. β est conséquence logique de α1 (α1  β), car β est vraie sur toutes les lignes où α1
est vraie.
β n’est pas conséquence logique de α2 (α2 2 β), car il existe une ligne où α2 est
vraie mais β est fausse.
β n’est pas conséquence logique de α3 (α3 2 β), car il existe une ligne où α3 est
vraie mais β est fausse.

6. La FNC de β :

β ≡x∨y∨z
Exercice 8.

γ ≡x∨y ⇒z∧x⇒y∨z

1. La table de vérité de γ :
x y z x z x∨y z∧x y∨z x∨y ⇒y∨z γ β
0 0 0 1 1 0 0 1 1 1 1
0 0 1 1 0 0 1 0 1 0 1
0 1 0 1 1 1 0 1 0 1 1
0 1 1 1 0 1 1 1 1 1 1
1 0 0 0 1 1 0 1 0 1 1
1 0 1 0 0 1 0 0 0 1 1
1 1 0 0 1 1 0 1 0 1 1
1 1 1 0 0 1 0 1 0 1 1
2. Oui, γ est satisfiable, car sa table de vérité contient au moins une ligne où sa valeur
de vérité est 1.
3. La formule β telle que γ  β mais β 2 γ :
β est une tautologie
β ≡x∨x
4. La FND de γ :
γ ≡ (x∧y ∧z)∨(x∧y ∧z)∨(x∧y ∧z)∨(x∧y ∧z)∨(x∧y ∧z)∨(x∧y ∧z)∨(x∧y ∧z)