Logique des Propositions

Système déductif (, )

Exercice N°1
suite
USTHB
Faculté Informatique
L. KADDOURI
 Système déductif (, )
Exercice N°1
b3) α ⊢ δ et  ⊢ δ ⇒ α ⊢ δ
Hypothèse N°1: D1 Hypothèse N°2: D2 Conclusion : D3

On demande de faire la déduction D3, en utilisant les

déductions D1 et D2 comme des hypothèses (Si …. Alors) :

D1

D2 Déduction
D3

2
 Système déductif (, )
Exercice N°1
b3) α ⊢ δ et  ⊢ δ ⇒ α ⊢ δ

Etant donné qu’on est dans le système déductif

de Lp(, ),
on doit remplacer le  par sa définition.
Cela revient à :
α ⊢ δ et  ⊢ δ ⇒ ( α   ) ⊢ δ

Hypothèse N°1: D1 Hypothèse N°2: D2 Conclusion : D3

On fait alors la déduction D3 3

 Système déductif (, )
Hyp N°1
Exercice N°1
Hyp N°2
b3) α ⊢ δ et  ⊢ δ ⇒ ( α   ) ⊢ δ
On suppose en plus : α ,  et  δ On a :  ( α  )

α δ  δ  ( α   ) Première Contradiction 
Hyp1 Hyp2 On applique la règle (I )
δ δ pour supprimer α
et déduire α
1 (I ) 2 (I )
Deuxième Contradiction 
α  On applique la règle (I )
(I ) pour supprimer 
α et déduire  

3 (I )
Troisième Contradiction  :
 δ On applique la règle (I )
(E) pour supprimer  δ
δ et déduire  δ
4
 Système déductif (, )
Exercice N°1
C2) α⊢ ⇒ ⊢ α 
Hypothèse : D1 Conclusion : D2

On demande de faire la déduction D2, en utilisant la

déduction D1 comme une hypothèse (Si ….. Alors) :

D1
Déduction
D2

5
 Système déductif (, )
Exercice N°1
C2) α⊢ ⇒ ⊢ α 
Hypothèse : D1 Conclusion : D2
Dans le système déductif de Lp (, ) :
on doit remplacer le  par sa définition. On obtient :
α ⊢  ⇒ ⊢ (α   ). On fait alors la déduction D2
α α on suppose on plus (2 fois) : α   
(E ) (E )
α  On applique les règles
Hyp (E ) sur α    pour déduire
 à gauche α et à droite  

 Contradiction  :
(I )
On applique la règle (I )
(α   ) pour supprimer α   
et déduire (α   )6
 Système déductif (, )
Exercice N°1
C3) ⊢α  ⇒ α⊢
Hypothèse : D2 Conclusion : D1

On demande de faire la déduction D1, en utilisant la

déduction D2 comme une hypothèse (Si ……. Alors) :

D2
Déduction
D1

7
 Système déductif (, )
Exercice N°1
C3) ⊢ α  ⇒ α ⊢ 
Hypothèse : D2 Conclusion : D1

Dans le système déductif de Lp (, ). Remplacer  par sa def :

⊢ (α    ) ⇒ α ⊢ . On fait alors la déduction D1

Hyp α  on suppose en plus :  

(I )
(α    ) α On applique la règle
(I) pour déduire
α
 (I ) Contradiction  :
   (E) On applique la règle (I )
pour supprimer  
 et déduire   
On applique la règle (E) pour déduire  8
 Système déductif (, )
Exercice N°1
d3) α ⊢  et  ⊢ α ⇒ ⊢ α  
Hypothèse N°1: D1 Hypothèse N°2: D2 Conclusion : D3

On demande de faire la déduction D3, en utilisant les

déductions D1 et D2 comme des hypothèses (Si ……Alors) :

D1

D2 Déduction
D3

9
 Système déductif (, )
Exercice N°1
d3) α ⊢  et  ⊢ α ⇒ ⊢ α  
Etant donné qu’on est dans le système déductif
de Lp(, ),
on doit remplacer le  par sa définition.
Cela revient à :
α ⊢  et  ⊢ α ⇒ ⊢ (α   )  (  α)

Hypothèse N°1 : Hypothèse N°2 : Conclusion : D3

D1 D2

On fait alors la déduction D3

10
 Système déductif (, )
Hyp N°1
Exercice N°1
Hyp N°2
d3) α ⊢  et  ⊢ α ⇒ ⊢ (α   )  (  α)
On suppose : α    et   α

α    (E)   α (E )
α Hyp1  
2fois
 α
2fois Première Contradiction 
Hyp2 On applique la règle (I ) pour
 α supprimer α   
et déduire  (α   )

2 Deuxième Contradiction 
1 (I ) (I ) On applique la règle (I ) pour
 (α   )  (  α) supprimer   α
(I ) et déduire  (  α)

(α   )  (  α)

11
 Système déductif (, )
Exercice N°1
d1) α , α   ⊢
Etant donné qu’on est dans le système déductif
de Lp(, ),
on doit remplacer le  par sa définition.
Cela revient à :
α , (α   )  (  α) ⊢ 

12
 Système déductif (, )
Exercice N°1
d1) α , (α   )  (  α) ⊢ 
On suppose :   On a : α et (α   )  (  α)

 α (α   )  (  α)

(I ) (E)
(α   )
α
Contradiction 
On applique la règle (I )
pour supprimer  
et déduire   

(I )
 
(E)

13
 Système déductif (, )
Exercice N°1
d2) , α⊢α
Etant donné qu’on est dans le système déductif
de Lp(, ),
on doit remplacer le  par sa définition.
Cela revient à :
 , (α   )  (  α) ⊢ α

14
 Système déductif (, )
Exercice N°1
d2)  , (α   )  (  α) ⊢ α
On suppose :  α On a :  et (α   )  (  α)

 α (α   )  (  α)

(I ) (E)
  α (  α)
Contradiction 
On applique la règle (I )
pour supprimer α
 et déduire   α
(I )
 α
(E)
α
15
 Système déductif (, )

Encore d’autres déductions

 Système déductif (, )
Exercice
Montrer le théorème : ⊢(α )  (α)
Rappel : , α1 ⊢ α2   ⊢ α1 α2 (cas où  est φ)
Donc, cela revient à : α ⊢ α

Etant donné qu’on est dans le système déductif de

Lp(, ),

on doit remplacer les  par leur définition.

Cela revient à :
( α   ) ⊢ (   α)
17
 Système déductif (, )
Exercice
( α   ) ⊢ (   α)
On suppose :    α On a : ( α   )

  α (E)
( α   )
2fois
α 
(I ) Contradiction 
α On applique la règle (I ) pour
supprimer   α
et déduire (  α)

(I )
(  α)

18
 Système déductif (, )
Exercice
Montrer le théorème :
⊢ (    α )  (   α  )
Rappel : , α1 ⊢ α2   ⊢ α1 α2 (cas où  est φ)
Donc, cela revient à :
    α ⊢ (   α )  
Donc, cela revient à :
α , α ⊢ 

Etant donné qu’on est dans le système déductif de Lp(, ),

on doit remplacer les  par leur définition.
Cela revient à :
 (     α) ,  (    α) ⊢ 
19
 Système déductif (, )
Exercice
 (   α) ,  (   α) ⊢ 
On suppose :   et α On a : (   α) et (   α)

 α (   α) (   α)

(I)
α Contradiction 
On applique la règle (I )
1 pour supprimer α
(I ) et déduire α
α
(I )
  α Contradiction 
On applique la règle (I )
2 pour supprimer  
(I ) et déduire  
 
(E)
 20
 Système déductif (, )
Exercice
Montrer le théorème :
⊢ ((α  ) α ) α
Donc, cela revient à :
((α )  α) ⊢ α

Etant donné qu’on est dans le système déductif de

Lp(, ),
on doit remplacer les  par leur définition.
Cela revient à :
 ( (α  )   α ) ⊢ α
21
 Système déductif (, )
Exercice
 ( (α  )   α ) ⊢ α
On suppose : α    et α On a :  ( (α  )   α )

α   α  ( (α  )   α )
(E)
α Contradiction  N°1
On applique la règle (I )
1 pour supprimer α  
(I ) et déduire  (α  )
 (α  )
(I )
 (α  )  α Contradiction  N°2
On applique la règle (I )
2 pour supprimer  α
(I ) et déduire  α
 α
(E)
α 22
 Système déductif (, )
Exercice
Montrer le théorème :
⊢ (α (δ) ) (α (αδ))
Donc, cela revient à :
α (δ) ⊢ ( α )(αδ)
Donc, cela revient à :
α (δ) , α ⊢ αδ
Donc, cela revient à :
α (δ) , α , α ⊢ δ
23
 Système déductif (, )
Exercice
α (δ) , α , α ⊢ δ
Etant donné qu’on est dans le système déductif
de Lp(, ),
on doit remplacer les  par leur définition.
Cela revient à :
 (α(δ)) , (α  ) , α ⊢ δ

24
 (α(δ)) , (α  ) , α ⊢ δ
On a :  (α(δ)) , (α  ) et α On suppose :   et δ

 (α(δ)) (α  ) α  (I)

δ
α
1
(I )
 
(E)

(I )
δ
(a1)
 (   δ)
(I )
α  (δ)

2
 δ (E) (I )

δ 25
 Système déductif (, )
Exercice
Refaire dans le système déductif (, ) :
⊢ (α (δ) ) (α (αδ))
Donc, cela revient à :
α (δ) ⊢ ( α )(αδ)
Donc, cela revient à :
α (δ) , α ⊢ αδ
Donc, cela revient à :
α (δ) , α , α ⊢ δ
26
 Système déductif (, )
Exercice
α (δ) , α , α ⊢ δ
On a : α (δ) , α et α

α α α α (δ)
(E) (E)
 δ
(E)

27
 Système déductif (, )
Exercice
Montrer le théorème dans le système
déductif (, ) :
( ⊢     α)  (   α  )
Donc, cela revient à :
    α ⊢(    α )  
Donc, cela revient à :
α , α ⊢ 

28
 Système déductif (, )
Exercice
α , α ⊢ 
On suppose :   On a :     α et    α

 α  α
(E) (E)
α α


(I )
 
(E)

29