Logique des Propositions

Système déductif (, )

Exercice N°1
USTHB
Faculté Informatique
L. KADDOURI
 Système déductif (, )
Exercice N°1
a1) α⊢α

On a : α α α On suppose en plus :  α


(I )
Contradiction  :
α On applique la règle
(I ) pour déduire   α

2
 Système déductif (, )
Exercice N°1
a2) ⊢ (α   α)

αα αα On suppose : α   α 2 fois

(E ) (E )
α α On applique 2 fois la règle
(E ) pour déduire  α à
gauche et α à droite

(I )
 (α   α)
Contradiction  :
On applique la règle
(I ) pour déduire  (α   α)
3
 Système déductif (, )
Exercice N°1
a3)    ⊢ α (la Contradiction)
On a :     (écris 2 fois)
On suppose en
  α plus :  α
(E ) (E )
 
On applique 2 fois la règle
(E ) pour déduire   à
 gauche et  à droite
(I )
α
(E) Contradiction  :
α On applique la règle
On applique la règle (E) pour (I ) on élimine  α pour
déduire α déduire   α 4
 Système déductif (, )
Exercice N°1
a4) α ,  α ⊢  (la contradiction)
On a : α et  α (CONTRADICTION)

α α  On suppose en plus :  

Contradiction  sur la 1ere

Ligne des hypothèses:
 On applique la règle
(I ) (I ) on élimine   pour
 déduire   
(E)

On applique la règle (E) pour
déduire α 5
 Système déductif (, )
Exercice N°1
a3)    ⊢ α (la Contradiction)
a4) α ,  α ⊢  (la contradiction)

A partir d’une Contradiction 

On peut déduire n’importe
quelle formule !

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

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

8
 Système déductif (, )
Exercice N°1
c1) α , α ⊢ 
Etant donné qu’on est dans le système déductif de Lp(, ),
on doit remplacer la  par sa définition.
Cela revient à montrer : (α   ), α ⊢ 
 (α   ) α  On suppose en plus :  
(I )
α On applique la règle
(I) pour déduire α   

 (I )
Contradiction  :
  On applique la règle (I )
(E) pour supprimer   et
 déduire   
On applique la règle (E) pour déduire  9