Logique des Propositions

Corrigé Série N°3

Exo4
Etude Sémantique
 Série N°3 : Exercice N°4
On considère dans cet exercice que les formules sont
formées avec les connecteurs «  », «  » et «  »
seulement.
Etant donné une formule Г, on note :
-« Г* » la formule obtenue à partir de Г en
remplaçant chaque variable propositionnelle par sa
négation et en inter-changeant «  » et «  ».
-« Г# » la formule obtenue à partir de Г en inter-
changeant «  » et «  ».
-« Г+ » la formule obtenue à partir de Г en
remplaçant chaque variable propositionnelle par sa
négation. 2
 Série N°3 : Exercice N°4
1. Montrer par récurrence que Г*   Г quelque soit Г
Démonstration par récurrence sur le nombre de
connecteurs dans Г (soit n ce nombre)
Pour n=0 : Г0 = A (A : une Var Prop)
Г0*   Г0 ?
Г0* = (A)* = A =  Г0 Donc Vérifié
Supposons vrai jusqu’à p connecteurs et montrons
pour (p+1) connecteurs
 Гp ……………………….. 1 er Cas
Гp+1 = Гl  Гq (l+q=p)………………… 2 em Cas
Гl  Гq (l+q=p)………………… 3 em Cas
3
 Série N°3 : Exercice N°4
1er Cas : Гp+1 =  Гp
Montrons que Гp+1*   Гp+1 ?
Гp+1*= ( Гp) * =  Гp*   ( Гp)

car par Hypothèse de Récurrence

Гp*   Гp

Donc Гp+1*   ( Гp )
  Гp+1

4
 Série N°3 : Exercice N°4
2ème Cas : Гp+1 = Гl  Гq (avec l+q=p)
Montrons que Гp+1*   Гp+1 ?
Гp+1*= (Гl  Гq) * = Гl *  Гq *   Гl   Гq

car par Hypothèse de Récurrence

Гl*   Гl (l<=p) et Гq*   Гq (q<=p)

Donc Гp+1*   Гl   Гq
Гp+1*   (Гl  Гq) (loi de Morgan)
Гp+1*   Гp+1
5
 Série N°3 : Exercice N°4
3ème Cas : Гp+1 = Гl  Гq (avec l+q=p)
Montrons que Гp+1*   Гp+1 ?
Гp+1*= (Гl  Гq) * = Гl *  Гq *   Гl   Гq

car par Hypothèse de Récurrence

Гl*   Гl (l<=p) et Гq*   Гq (q<=p)

Donc Гp+1*   Гl   Гq
Гp+1*   (Гl  Гq) (loi de Morgan)
Гp+1*   Гp+1
6
 Série N°3 : Exercice N°4
2. En déduire la négation de la formule suivante et la
simplifier ( A   B)  (C  D)
Posons α = ( A   B)  (C  D)
D’après la question N°1 on a :  α  α*
Donc :
 ((AB) (CD))  (( A   B)  (C  D))*
 (A  B)  (CD)
 (AB)  (CD)
 (AB)  (C  D)
 (AB)  (C  D)
7
 Série N°3 : Exercice N°4
3. Montrer que Г est une tautologie si et seulement si
Г+ en est une.
Premier Sens : Si Г Alors Г+
Supposons que Г contient N (N>=0) Variables
Propositionnelles notées : A1, A2, … An
Etape N°1 : Appliquons le théorème de substitution
sur Г (Tautologie) pour remplacer toutes les
occurrences de A1 par la formule β1 =  A1
On obtient Г1 telle que Г1

8
 Série N°3 : Exercice N°4
Etape N°2 : Appliquons le théorème de substitution
sur Г1 (Tautologie) pour remplacer toutes les
occurrences de A2 par la formule β2 =  A2
On obtient Г2 telle que Г2
•.
•.
•.
Etape N°n : Appliquons le théorème de substitution
sur Гn-1 (Tautologie) pour remplacer toutes les
occurrences de An par la formule βn =  An
On obtient Гn telle que Гn 9
 Série N°3 : Exercice N°4
Par construction on a : Гn  Г+
Donc puisque Гn est une tautologie alors :

Г+

10
 Série N°3 : Exercice N°4
3. Montrer que Г est une tautologie si et seulement si
Г+ en est une.
Deuxième Sens : Si Г+ Alors Г
Si Г+ tautologie, alors selon le premier sens on a :
Г + + est aussi une tautologie
Or Г + + est obtenue à partir de Г en remplaçant
chaque variable propositionnelle Ai par   Ai
En appliquant, cette fois-ci, le théorème de
remplacement, autant de fois que nécessaire) pour
remplacer toutes les formules de la forme   Ai par
la formule Ai (  Ai  Ai) 11
 Série N°3 : Exercice N°4
La formule obtenue sera donc : Г
(car les 2  sont supprimés)
telle que Г++  Г
Donc puisque Г++ est une tautologie alors :

12
 Série N°3 : Exercice N°4
4. Montrer que Г*  (Г#)+ quelque soit Г.
Démonstration par récurrence sur le nombre de
connecteurs dans Г (soit n ce nombre)
Pour n=0 : Г0 = A (A une Var Prop)
Г0*  (Г0 #)+ ?
Г0* = (A)* = A = (A #)+ = (Г0 #)+ Donc Vérifié
Supposons vrai jusqu’à p connecteurs et montrons
pour (p+1) connecteurs
 Гp ……………………….. 1 er Cas
Гp+1 = Гl  Гq (l+q=p)………………… 2 em Cas
Гl  Гq (l+q=p)………………… 3 em Cas
13
 Série N°3 : Exercice N°4
Supposons vrai jusqu’à p connecteurs et montrons
pour (p+1) connecteurs
 Гp ……………………….. 1 er Cas
Гp+1 = Гl  Гq (l+q=p)………………… 2 em Cas
Гl  Гq (l+q=p)………………… 3 em Cas

Continuer le Cas Général de la démonstration par

récurrence de la même façon que la question N°1

14
 Série N°3 : Exercice N°4
5. Montrer que (Г↔Σ)  (Г#↔Σ#)+
On a : (Г#↔Σ#)+  (Г#)+↔(Σ#)+
(Г#↔Σ#)+  Г*↔ Σ* (question N°4)
(Г#↔Σ#)+  Г↔ Σ (question N°1)
Montrons que : Г↔ Σ  Г↔Σ
Revient à montrer que : (Г↔ Σ) ↔ (Г↔Σ)
est une tautologie
(Г↔ Σ) ↔ (Г↔Σ)  (Г↔ Г) ↔ (Σ↔Σ)
(Associativité de ↔)
Fausse Fausse
15
Tjs Vraie = Tautologie
 Série N°3 : Exercice N°4
6. Montrer que (Г  Σ) si et seulement si (Г#  Σ#)
Revient à montrer que :
(Г ↔ Σ) Tautologie  (Г# ↔ Σ#) Tautologie
Or d’après la question N°3 :
(Г# ↔ Σ#) Tautologie  (Г# ↔ Σ#)+ Tautologie
Or d’après la question N°5 :
(Г# ↔ Σ#)+  Г↔Σ
Donc : Г↔Σ est aussi une Tautologie

16