Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Importer

Bienvenue sur Scribd !

  • 339 vues

    Correction 1

    Transféré par

    Pat Michel
    Ce document contient la correction d'un exercice de logique formelle portant sur des systèmes formels. Il présente et résout deux exercices, le premier concernant les théorèmes et la consistance d'un système, le second sa structure de théorèmes.

    Droits d'auteur :

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

    Correction 1

    Transféré par

    Pat Michel
    339 vues2 pages
    Ce document contient la correction d'un exercice de logique formelle portant sur des systèmes formels. Il présente et résout deux exercices, le premier concernant les théorèmes et la consistance d'un système, le second sa structure de théorèmes.

    Titre original

    correction_1

    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é ?

    Ce document contient la correction d'un exercice de logique formelle portant sur des systèmes formels. Il présente et résout deux exercices, le premier concernant les théorèmes et la consistance d'un système, le second sa structure de théorèmes.

    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
    339 vues2 pages

    Correction 1

    Transféré par

    Pat Michel
    Ce document contient la correction d'un exercice de logique formelle portant sur des systèmes formels. Il présente et résout deux exercices, le premier concernant les théorèmes et la consistance d'un système, le second sa structure de théorèmes.

    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 2

    Logique Formelle Correction de la feuille d’exercices n°1

    Mme Kempf Systèmes Formels

    Exercice 1
    Soit le système formel défini par : l’alphabet : A = { D, E, _ }
    les mots : toutes les chaînes de symboles
    les axiomes : x D _ E x, où x est suite quelconque de _
    la règle unique : x D y E z ? x z D y _ E z. où x, y, z sont des suites de _
    Choisissons l’interprétation ℑ :
    D ~~> « divisé par »
    E ~~> « égale »
    Le tiret représente 1 unité (ex : _ _ _ ~~> « 3 »)
    Supposons + a D b E c et que ℑ(a D b E c) soit un énoncé vrai.
    Parmi les 3 formules : (F1) a c c D b _ _ E c
    (F2) a a D _ _ D b E c
    (F3) abDbEc_

    1) Lesquelles sont des théorèmes du système formel ?

    (F1) est un théorème


    +aDbEc?
    +acDb_Ec?
    +accDb__Ec
    (F2) n’est pas un théorème car la règle d’inférence ne permet pas d’introduire un 2 ème D.
    (F3) n’est pas un théorème car la règle d’inférence ne permet pas d’introduire le _ après le c.

    2) Lesquelles sont vraies dans ℑ ?

    (F1) et (F3)sont vraies dans ℑ.


    (F2) pose un problème de parenthèsage :
    2a / 2
    si on lit = c , c’est vrai
    b
    2a
    si on lit = c , c’est faux.
    2/b

    3) On dit qu‘un système formel S est consistant dans une interprétation ℑ si et seulement si tout théorème T de S
    vérifie ℑ (T)= vrai.
    Le système formel défini ci-dessus est-il consistant dans l’interprétation ℑ ?

    Oui.
    Les théorèmes sont tous de la forme : + x x . . . x D _ _ . . . _ E x où x est une suite de _
    n fois x n fois _

    qui s’interprète nx =x .
    n

    Cours de Logique Formelle de Mme Kempf Correction de la feuille d’exercices n°1 1/2
    Exercice 2

    Considérons le système formel :


    • {a, b, c } est l’ensemble des symboles
    • a, b, c sont des mots, ainsi que toutes les expressions de la forme aa….abcc….c notées a nbcm, avec (n, m) ∈ N2.
    Conventions : b ck représente a 0 b ck
    ap b représente a pb c0
    • {a2i b c2i | i ∈ N } est l’ensemble des axiomes
    • il y a une seule règle d’inférence : (anbcm, a kbcp) → an+kbcm

    1) Les mots a 6bc2, a 2bc4, abc, a 10b sont-ils des théorèmes ? Justifier.
    2) Décrire toutes les formes de théorèmes possibles dans ce système formel. Justifier.

    Il est plus simple de répondre d’abord à la question 2 !

    2) En appliquant 1 fois la règle d’inférence aux axiomes, on obtient l’ensemble des théorèmes de la forme :
    • a 2i b c2i par (a2i b c2i , b) ? a2i b c2i : sans surprise, on retrouve le fait que les axiomes sont des théorèmes
    • a 2i b c2i par (b, a 2i b c2i ) ? a2i b
    • a 2k b c2i (avec k > i) par (a2i b c2i , a 2sb c2s) ? a2(i+s) b c2i .
    En appliquant une nouvelle fois la règle d’inférence à ces théorèmes, on trouve des théorèmes de même forme.
    L’ensemble des théorèmes du système formel est donc : { a 2k b c2i | (i,k) ∈ N2 et k = i}

    1) De sorte que :
    • a 6bc2 et a 10b sont des théorèmes,
    • a 2bc4 et abc n’en sont pas.

    Cours de Logique Formelle de Mme Kempf Correction de la feuille d’exercices n°1 2/2

    Vous aimerez peut-être aussi