1

Université 20 Aout 1955 de Skikda 2ème Année License TC Informatique

Faculté des Sciences Module Logique Mathématique
Département d’Informatique Année Universitaire 2020/2021

Solution de la série d’exercices N°01

Exercice 04
Soit la formule propositionnelle ϕ = (𝐴 ∨ 𝐵) ∧ (˥𝐴 → 𝐵 ∨ 𝐶)
Effectuez les substitutions suivantes :
1) ϕ[B/A]
2) ϕ[C/A , C ∧ 𝐴/𝐶]
3) (ϕ[C/A])[C ∧ 𝐴/𝐶]
4) (ϕ[C/A, B/D])[C ∧ 𝐴/𝐶]
5) (ϕ[A ∧ 𝐵/A])[˥˥𝐴/𝐴]

Solution
1) ϕ[B/A] = (𝐵 ∨ 𝐵) ∧ (˥𝐵 → 𝐵 ∨ 𝐶)
2) ϕ[C/A , C ∧ 𝐴/𝐶] = (𝐶 ∨ 𝐵) ∧ (˥𝐶 → 𝐵 ∨ (𝐶 ∧ 𝐴))
3) (ϕ[C/A])[C ∧ 𝐴/𝐶] = ((𝐶 ∨ 𝐵) ∧ (˥𝐶 → 𝐵 ∨ 𝐶 )) [C ∧ 𝐴/𝐶] = ((𝐶 ∧ 𝐴) ∨ 𝐵) ∧
(˥(𝐶 ∧ 𝐴) → 𝐵 ∨ (𝐶 ∧ 𝐴))
4) (ϕ[C/A, B/D])[C ∧ 𝐴/𝐶] = ((𝐶 ∨ 𝐵) ∧ (˥𝐶 → 𝐵 ∨ 𝐶 )) [C ∧ 𝐴/𝐶] = ((𝐶 ∧ 𝐴) ∨ 𝐵) ∧
(˥(𝐶 ∧ 𝐴) → 𝐵 ∨ (𝐶 ∧ 𝐴))

5) (ϕ[A ∧ 𝐵/A])[˥˥𝐴/𝐴] = (((𝐴 ∧ 𝐵) ∨ 𝐵) ∧ (˥(𝐴 ∧ 𝐵) → 𝐵 ∨ 𝐶)) [˥˥𝐴/𝐴] =

((˥˥𝐴 ∧ 𝐵) ∨ 𝐵) ∧ (˥(˥˥𝐴 ∧ 𝐵) → 𝐵 ∨ 𝐶)

Exercice 07
On se propose d’étendre la logique propositionnelle par un nouveau connecteur binaire défini
par : A | B = ˥ ( 𝐴 ∧ 𝐵)
1) Dresser la table de vérité de ce connecteur
2) Exprimer chacun des connecteurs ˥ ∧ ∨ → ↔ en fonction du connecteur |
seulement.

Solution
1)
A B A|B
0 0 1
0 1 1
1 0 1
1 1 0

2) Expression des connecteurs ˥ ∧ ∨ → ↔ en fonction du connecteur | seulement :

a) ˥A = ˥( 𝐴 ∧ 𝐴) = A|A
b) A ∧ B = ˥˥( A ∧ B) = ˥(A|B) = (A|B)|(A|B)
c) A ∨ B = ˥( ˥A ∧ ˥B) = (˥A|˥B) = (A|A)|(B|B)
d) A → B = ˥A ∨ B = (˥A|˥A)|(B|B) = ((A|A)|(A|A))|(B|B)
e) A ↔ 𝐵 = (A → 𝐵) ∧ (B → 𝐴) = ((A → 𝐵)|(B → 𝐴))|((A → 𝐵)|(B → 𝐴)) =
((((A|A)|(A|A))|(B|B))|(((B|B)|(B|B))|(A|A))) | (((A|A)|(A|A))|(B|B)|(((B|B)|(B|B))|(A|A)))

1
 2

Exercice 08
Pour chacune des formules suivantes, dire sil s’agit d’une tautologie, d’une antilogie, ou
d’une formule satisfaisable :
1) (p ∧ q ∧ r) → (p ∨ q)
2) (a → c) ↔ ((a ∨ c) ↔ b)
3) (p → q) → p
4) (p ↔ (q ∨ r)) → (˥q → (p ∨ r))
Solution
1) (p ∧ q ∧ r) → (p ∨ q)

p q a p∧q∧r p∨q formule

0 0 0 0 0 1
0 0 1 0 0 1
0 1 0 0 1 1
0 1 1 0 1 1
1 0 0 0 1 1
1 0 1 0 1 1
1 1 0 0 1 1
1 1 1 1 1 1

D’après la table de vérité : ∀ 𝒗 [(p ∧ q ∧ r) → (p ∨ q)]𝒗 = 1 donc la formule est une

tautologie.
2) (a → c) ↔ ((a ∨ c) ↔ b)

a c b a→c a∨c (a ∨ c) ↔ b formule

0 0 0 1 0 1 1
0 0 1 1 0 0 0
0 1 0 1 1 0 0
0 1 1 1 1 1 1
1 0 0 0 1 0 1
1 0 1 0 1 1 0
1 1 0 1 1 0 0
1 1 1 1 1 1 1
D’après la table, c’est une formule satisfaisable.

3) (p → q) → p

p q p→q Formule
0 0 1 0
0 1 1 0
1 0 0 1
1 1 1 1

D’après la table, c’est une formule satisfaisable.

2
 3

4) (p ↔ (q ∨ r)) → (˥q → (p ∨ r))

p q r q∨r p ↔ (q ∨ r) ˥q p∨r ˥q → (p ∨ r) formule

0 0 0 0 1 1 0 0 0
0 0 1 1 0 1 1 1 1
0 1 0 1 0 0 0 1 1
0 1 1 1 0 0 1 1 1
1 0 0 0 0 1 1 1 1
1 0 1 1 1 1 1 1 1
1 1 0 1 1 0 1 1 1
1 1 1 1 1 0 1 1 1

D’après la table, c’est une formule satisfaisable.

Exercice 09
Ali, Sami et Madjid sont arrêtés suite à un vol.
Ali déclare : “ Sami a volé mais pas Madjid“ 1
Sami déclare : “ si Ali a volé alors Madjid aussi“  2
Madjid déclare : “ je n’ai pas volé mais au moins l’un des deux autres a volé “  3
1) Ecrire les FP associées à 1 ,  2 et  3
2) L’ensemble   1, 2, 3 est il compatible ? Peut-on conclure dans ce cas, qui a
volé ?
3) On suppose que toutes les déclarations sont fausses, peut on conclure qui a volé ?

Solution
1) La formalisation
a. L’identification des variables propositionnelles
A : Sami a volé
B : Madjid a volé
C : Ali a volé
b. Les formules propositionnelles
α1 = A ∧ ˥B
α2 = C → B
α3 = ˥B ∧ (A ∨ C)

2)  est compatible  v : v mod èle de 

A B C α1 = A ∧ ˥B α2 = C → B α3 = ˥B ∧ (A ∨ C)

0 0 0 0 1 0
0 0 1 0 0 1
0 1 0 0 1 0
0 1 1 0 1 0
1 0 0 1 1 1
1 0 1 1 0 1
1 1 0 0 1 0
1 1 1 0 1 0
D’après la table de vérité, Σ possède un modèle qui est : A=1, B=0, C=0 donc il est
compatible.

3
 4

Lorsque Σ est compatible, on a la valuation modèle est :

A=1 → Sami a volé
B=0 →Madjid n’a pas volé
C=0 →Ali n’a pas volé
Donc, on peut conclure que Sami qui a volé.
3) Lorsque toutes les déclarations sont fausses, on a α1=α2=α3=0. Ce cas n’existe pas sur
la table de vérité, donc on ne peut pas conclure qui a volé.
Exercice 10
Soit   Q1, Q2,..., Qn un ensemble de formules tel que :
Q1  1  2
Q2   2   3
…
Qn1   n1   n
Qn   n  1
1 ,  2 ,..., n sont des variables propositionnelles.
a) L’ensemble  est il compatible ? Justifier.
b) Donner l’ensemble de modèle de  .
Solution
1)  est compatible  v : v mod èle de 
Soit la valuation v1 tel que : 1,  2 ,...,  n  0

[Q1]v1=[α1→α2]v1= 0→0 = 1
[Q2]v1=[α2→α3]v1= 0→0 = 1
…
[Qn-1]v1=[αn-1→αn]v1= 0→0 = 1
[Q ] =[ α →  α ] = 0→  0 = 0→1=1
n v1 n-1 1 v1

Donc :
 Qi   : Qi
i 1.. n
  v1
 1  v1 est un mod èle de    est compatible

2) l’ensemble de modèle de  :

α1 α2 α3 … αn-2 αn-1 αn-1

V1 0 0 0 … 0 0 0
V2 0 0 0 … 0 0 1
V3 0 0 0 … 0 1 1
V4 0 0 0 … 1 1 1
. . . . . . . .
. . . . . . . .
. . . . . . . .
Vn-1 0 0 1 … 1 1 1
Vn 0 1 1 … 1 1 1
Σ possède n modèle (V1... Vn ).
Exercice 11
4
 5

Soit  un ensemble compatible de formules propositionnelles.

Montrer que pour toute formule propositionnelle Q l’un des ensemble est compatible :
 Q ou Q

Solution
Soit   Q1,Q 2,..., Qn un ensemble compatible de formules propositio nnelles
Soit Q une formule propositio nnelle
 est compatible  v : v mod èle de   v  Qi   : Qi
i 1.. n
  1
v

 (v : v mod èle de   v  Qi   : Qi

i 1.. n
   1) et (v est un mod èle de Q ou non)
v

   1 )et (v est un mod èle de Q ou mod èle de Q)

 (v  Qi   : Qi
i 1.. n
v

 (v  Qi   : Qi   1 ) et (Q  1 ou Q  1)

v v v
i 1.. n

 ( v  Qi   : Qi   1 )  (Q  1  Q  1)

v v v
i 1.. n

 (v  Qi   : Qi   1  Q  1 )  (v  Qi   : Qi   1  Q  1)

v v v v
i 1.. n i 1.. n
 (v : v mod èle de   Q)  (v : v mod èle de   Q)
 (   Q est compatible)  (  Q est compatible)
 l ' un des ensembles est compatible :   Q ou   Q
Exercice 12
Soit le raisonnement suivant :
Quand il fait soleil, je mets mes lunettes ou je ne sors pas.
Je ne reste à la maison que sans lunettes et par temps gris.
Donc si je ne mets pas mes lunettes, c’est qu’il fait gris.
1) Formaliser ce raisonnement en utilisant les variables suivantes :
a : il fait soleil, b : je mets mes lunettes, c : je reste à la maison
2) Montrer que le raisonnement ci-dessus est correct (valide) en utilisant la table de
vérité
Solution
1) La formalisation :
((𝑎 → 𝑏 ∨ 𝑐 ) ∧ (𝑐 → ˥b ∧ ˥a)) → (˥b → ˥a))
2) Le raisonnement est correct ↔ la formule
((𝑎 → 𝑏 ∨ 𝑐 ) ∧ (𝑐 → ˥b ∧ ˥a)) → (˥b → ˥a)) est valide.
a b c 𝑏∨𝑐 𝑎 →𝑏∨𝑐 ˥b ˥a ˥b ∧ ˥a 𝑐 → ˥b ∧ ˥a ˥b → ˥a Formule
0 0 0 0 1 1 1 1 1 1 1
0 0 1 1 1 1 1 1 1 1 1
0 1 0 1 1 0 1 0 1 1 1
0 1 1 1 1 0 1 0 0 1 1
1 0 0 0 0 1 0 0 1 0 1
1 0 1 1 1 1 0 0 0 0 1
1 1 0 1 1 0 0 0 1 1 1
1 1 1 1 1 0 0 0 0 1 1

D’après la table de vérité, la formule est valide donc le raisonnement est correct.

5
 6

Exercice 13

On considère les raisonnements suivants :

a. Si le chat survient, les souris disparaissent, b. Si le chat survient, les souris
disparaissent,
or le chat survient, or les souris disparaissent,
donc les souris disparaissent. donc le chat survient.

c. Si le chat survient, les souris disparaissent, d. Si le chat survient, les souris

disparaissent,
or le chat ne survient pas, or les souris ne disparaissent pas,
donc les souris ne disparaissent pas. donc le chat ne survient pas.

1) À l’aide des variables propositionnelles p et q représentant respectivement les

propositions « le chat survient » et « les souris disparaissent », représenter chacun des
raisonnements a, b, c et d par des formules de la logique propositionnelle.
2) Lesquels, parmi les raisonnements a, b, c et d, sont corrects et lesquels sont incorrects
? Justifier.
Solution
1) Formalisation
a) (p → q) ∧ p → q
b) (p → q) ∧ q → p
c) (p → q) ∧ ˥p → ˥q
d) (p → q) ∧ ˥q → ˥p
2)

p q Formule (a) Formule (b) Formule (c) Formule (d)

0 0 1 1 1 1
0 1 1 0 0 1
1 0 1 1 1 1
1 1 1 1 1 1

D’après la table de vérité, les formules a et d sont valides donc les raisonnements a et d sont
corrects. Les raisonnements b et c ne sont pas corrects.

Exercice 15
A l’aide de la méthode de résolution en calcul propositionnel, démontrer la déduction
suivante :

{𝐴 ∨ 𝐵 ∨ ˥𝐷, ˥𝐴 ∨ 𝐶 ∨ ˥𝐷, ˥𝐵, 𝐷}├─ C

Solution

A  B  D, A  C D, B,D├─ C

 A  B  D, A  C D, B, D,C ├─
c' est à dire l ' ensemble A  B  D, A  C D, B, D,Cest contradictoire

6
 7

1) La mise sous forme clausale :

C1= A  B  D
C =  A  C  D
2

C3=  B
C= D
4

C5= C
2) Application de la règle de résolution :

Parents Résolvante
C6= B  C  D
C1 C2

C7= B  C
C6 C4
C7 C3
C8= C
C8 C5 C =∅
9

La résolution fournit la clause vide donc :

A  B  D, A  C D, B,D,Cest un ensemble contradictoire
 A  B  D, A  C D, B, D├─ C