Scribd Logo
Importer

Bienvenue sur Scribd !

  • 81 vues

    1 1 Exo1 Le Système Deductif

    Transféré par

    nawelxbellil

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    1 1 Exo1 Le Système Deductif

    Transféré par

    nawelxbellil
    81 vues9 pages

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    81 vues9 pages

    1 1 Exo1 Le Système Deductif

    Transféré par

    nawelxbellil

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    Vous êtes sur la page 1sur 9

    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

    Vous aimerez peut-être aussi