Logique des Propositions

Autres Systèmes déductifs

-Système (, )
-Système (, )
- Système (….)
USTHB
Exercice N°2 Faculté Informatique
L. KADDOURI
 Les Systèmes Déductifs de la
Logique des Propositions
Système Déductif de Lp

{ Ensemble de règles associées aux connecteurs }

Système
(, )

{ (E ) , (I ) , (E) , (I) }
 Les Systèmes Déductifs de la
Logique des Propositions
{ Ensemble de règles associées aux connecteurs }

Système
(, )
Système
(, )  Système
(, )
Système
(…..)
 Les Systèmes Déductifs de la
Logique des Propositions
Equivalences entre les différents systèmes déductifs (Exo2)
Le But est d’arriver à dire, que toute déduction
(démonstration) faite dans un système déductif pourra être
effectuée aussi dans un autre système déductif équivalent
Le système déductif (, ) défini par
les règles : { (E ) , (I ) , (E) , (I) } Sont tels que : Système
Déductif
(, )
Le système déductif (, ) défini par Système
les règles : { (E ) , (I ) , (E) , (I) } Déductif
(, )
Système
Le système déductif (, ) défini par Déductif
les règles : { (E ) , (I ) , (E) , (I) } (, )
4
 Système déductif (, )
Rappel des Règles
Le système déductif (, )
• Les règles du connecteur «  » : (E ) et (I )
1ere Forme :
α
(E )  

(I )
2eme Forme : α
α
(E )

Règle d‘Elimination du «  » Règle d‘Introduction du «  »
α⊢α α , ⊢α
α⊢ 5
 Système déductif (, )
Rappel des Règles
Le système déductif (, )
• Les règles du connecteur «  » : (E ) et (I )
………..  ..………..
α
(E )
α   
(I )
α

Règle d‘Elimination du «  » Règle d‘Introduction du «  »

α ⊢α α ⊢ ⇒ ⊢α
6
 Autres Systèmes déductifs
. Le système déductif (, )
• Les règles du connecteur «  » : (E) et (I)
C’est les mêmes règles vues précédemment

• Les règles du connecteur «  » : (E) et (I)

………..  ..………..
 
(E )
 
(I )
Règle d‘Elimination de la «  » 
Règle d‘Introduction de la «  »

 , α ⊢  α ⊢  ⇒ ⊢  7
 Autres Systèmes déductifs
Le système déductif (, )
• Les règles du connecteur «  » : (E) et (I)
C’est les mêmes règles vues précédemment
• Les règles du connecteur «  » : (E ) et (I )
1ere Forme :

(I ) ……  ..………..  ……….

2eme Forme : 
  
(I ) (E )
 
Règle d‘Introduction du «  » Règle d‘Elimination du «  »

α ⊢ α ⊢  et  ⊢ 
 ⊢ ⇒ ⊢ 8
Equivalence entre Les Systèmes Déductifs
de la Logique des Propositions
Comment monter que deux (02) systèmes déductifs sont
équivalents ?
Système Déductif Système Déductif
N°1 défini par : Equivalent N°2 défini par :
{ R1, R2, R3, R4 } { R’1, R’2, R’3, R’4 }

…..
(Ri) Exprimable dans
…..

Déduction dans le Déduction dans le

Système N°1 Système N°2 9
Equivalence entre Les Systèmes Déductifs
de la Logique des Propositions
Comment monter que deux (02) systèmes déductifs sont
équivalents ?
Système Déductif Système Déductif
N°1 défini par : Equivalent N°2 défini par :
{ R1, R2, R3, R4 } { R’1, R’2, R’3, R’4 }

Exprimable dans …..

(R’i)
…..

Déduction dans le Déduction dans le

Système N°1 Système N°2 10
Equivalence entre Les Systèmes Déductifs
de la Logique des Propositions

Le système déductif (, ) Le système déductif (, )

défini par les règles : Equivalent défini par les règles :
{ (E ) , (I ) , (E) , (I) } { (E ) , (I ) , (E) , (I) }

Exprimable dans

Déduction dans le Déduction dans le

Système (, ) Système (, ) 11
 Autres Systèmes déductifs

Les règles de  dans le système (, ) :

(E) :  , α ⊢ 
(I) : α ⊢  ⇒ ⊢ 

12
Equivalence entre Les Systèmes Déductifs
de la Logique des Propositions

Le système déductif (, ) Le système déductif (, )

défini par les règles : Equivalent défini par les règles :
{ (E ) , (I ) , (E) , (I) } { (E ) , (I ) , (E) , (I) }

Exprimable dans

Déduction dans le Déduction dans le

Système (, ) Système (, ) 13
 Autres Systèmes déductifs

Les règles de  dans le système (, ) :

(I) 1er: α ⊢    -- (I) 2eme:  ⊢   
(E) : α ⊢  et  ⊢  ⇒ ⊢

14
 Autres Systèmes déductifs
Exercice N°2
Montrer les déductions suivantes dans :
a) Système déductif (,  )
b) Système déductif (, )

• α⊢α Règle (E) 1ère forme

• α⊢ Règle (E) 2ème forme

• α , ⊢α Règle (I) 15

 Système déductif (, )
Exercice 2
Montrer : α   ⊢ α

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

déductif de Lp(, ),

on doit remplacer le  par sa définition.

Cela revient à :
(α   ) ⊢ α 16
 Système déductif (, )
Exercice 2
(α   ) ⊢ α
On suppose : α et α On a : (α   )

α α Contradiction
(α   )
(a4)

(I )
α


(I )
α
(E)
α
17
 Système déductif (, )
Exercice 2
Montrer : α   ⊢ 

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

déductif de Lp(, ),

on doit remplacer le  par sa définition.

Cela revient à :
(α   ) ⊢  18
 Système déductif (, )
Exercice 2
(α   ) ⊢ 
On suppose : α et   On a : (α   )

α  (α   )
(I )
α


(I )
 
(E)

19
 Système déductif (, )
Exercice 2
Montrer : α ,  ⊢ α  

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

déductif de Lp(, ),

on doit remplacer le  par sa définition.

Cela revient à :
α ,  ⊢ (α   ) 20
 Système déductif (, )
Exercice 2
α ,  ⊢ (α   )
On suppose : α    On a : α et 

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


(I)
(α   )

21