Scribd Logo
Importer

Bienvenue sur Scribd !

  • 74 vues

    Logique

    Transféré par

    Royet
    Le document contient le corrigé d'un contrôle avec des questions sur la logique des prédicats et la déduction naturelle. La plupart des étudiants ont eu une note supérieure à 10 sur 20. Le document résume également les réponses aux questions.

    Droits d'auteur :

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

    Logique

    Transféré par

    Royet
    74 vues4 pages
    Le document contient le corrigé d'un contrôle avec des questions sur la logique des prédicats et la déduction naturelle. La plupart des étudiants ont eu une note supérieure à 10 sur 20. Le document résume également les réponses aux questions.

    Description originale:

    Titre original

    logique

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

    Le document contient le corrigé d'un contrôle avec des questions sur la logique des prédicats et la déduction naturelle. La plupart des étudiants ont eu une note supérieure à 10 sur 20. Le document résume également les réponses aux questions.

    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
    74 vues4 pages

    Logique

    Transféré par

    Royet
    Le document contient le corrigé d'un contrôle avec des questions sur la logique des prédicats et la déduction naturelle. La plupart des étudiants ont eu une note supérieure à 10 sur 20. Le document résume également les réponses aux questions.

    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
    sur 4

    Corrigé du contrôle du 26 mars 2021

    Matteo Manighetti
    2 mai 2021

    Voici le corrigé du contrôle du 26 Mars. Le resultats ont en général été bons : le 79 % a eu au moins 10,
    la moyenne a été 12,7 et la note mediane 13,25. Bon courage pour la fin du semestre !
    1. Traduisez les énoncés suivants dans la langue du calcul des prédicats (en indiquant vos conventions)
    (a) Toutes les vérités sont dans le manuel

    Solution: L = {V, M }, 8x(V x ! M x)

    (b) Il y a au moins un client qui n’aime aucun plat

    Solution: L = {C, P, A}, 9x(Cx ^ 8y(P y ! ¬Axy)).

    (c) Tout randonneur qui rencontre un randonneur lui sourit

    Solution: L = {R, M, S}, 8x8y(Rx ^ Ry ^ M xy ! Sxy. Alternativement : 8x8y(Rx ! Ry !


    M xy ! Sxy

    (d) Il y a au moins quatre étudiants

    Solution: L = {E}, 9x9y9z9w(Ex ^ Ey ^ Ez ^ Ew ^ ¬(x = y) ^ ¬(x = z) ^ ¬(x = w) ^ ¬(y =


    z) ^ ¬(y = w)).

    (e) Il y a au plus quatre étudiants

    Solution: L = {E}, 8x8y8z8w(((Ex ^ Ey) ^ (Ez ^ Ew)) ! (x = y) _ (x = z) _ (x = w) _ (y =


    z) _ (y = w)).

    2. Démontrez les formules suivantes par la méthode des arbres


    (a) ¬(P a _ (P b ^ Qc)) ! (¬P a ^ (¬P b _ ¬Qc))

    Solution:

    1
    ¬(P a _ (P b ^ Qc))
    ¬(¬P a ^ (¬P b _ ¬Qc))
    ¬P a
    ¬(P b ^ Qc)

    ¬¬P a ¬(¬P b _ ¬Qc)


    Pa ¬¬P b
    ¬¬Qc
    Pb
    ¬P b ¬Qc Qc

    ¬P b ¬Qc

    (b) 8x(P x ^ Qx) ! (8xP x ^ 8xQx)

    Solution:
    8x(P x ^ Qx)
    ¬(8xP x ^ 8xQx)

    ¬8xP x ¬8xQx
    9x¬P x 9x¬Qx
    ¬P a ¬Qb
    P a ^ Qa P b ^ Qb
    Pa Pb
    Qa Qb

    3. Pour chaque formule, indiquez : i) si c’est une négation, une conjonction, une disjonction, une implication,
    une formule universelle ou une formule existentielle ; ii) la portée des quantificateurs ; iii) les variables
    libres
    (a) 9x(Axy ^ Bx)
    (a) Existentielle ; (Axy ^ Bx) ; y
    (b) 9xAxy ^ Bx
    (b) Conjonction ; Axy ; y, x (dans Bx)
    (c) 9x9yAxy ! Bx
    (c) Implication ; 9yAxy et Axy ; x (dans Bx)
    (d) 9x(9yAxy ! Bx)
    (d) Existentielle ; 9yAxy ! Bx et Axy ;Aucune
    (e) ¬9x9yAxy ! Bx
    (e) Implication ; 9yAxy et Axy ; x dans Bx
    (f) 8x¬9yAxy
    (f) Universelle ; ¬9yAxy et Axy ; Aucune
    (g) ¬Bx ! (¬8y(¬Axy _ Bx) ! Cy)
    (g) Implication ; ¬Axy _ Bx ; x dans Bx, y dans Cy

    Page 2
    (h) 9x(Axy _ By)
    (h) Existentielle ; Axy _ By ; y
    (i) 9xAxx _ 9yBy
    (i) Disjonction ; Axx et By ; Aucune
    (j) 9x(9yAxy _ By)
    (j) Existentielle ; 9yAxy _ By et Axy ; y dans By
    (k) 8x8y((Axy ^ By) ! 9wCxw)
    (k) Universelle ; 8y((Axy ^ By) ! 9wCxw),
    (k) (Axy ^ By) ! 9wCxw et Cxw ; Aucune
    (l) 8x(8yAyx ! By)
    (l) Universelle ; 8yAyx ! By), Ayx ; y dans By
    (m) 8x8yAyy ! Bx
    (m) Implication ; 8yAyy, Ayy ; x dans Bx
    4. Pour chaque formule ', écrire '[c/x]. Pour rappel, la substitution d’un terme à une variable revient à
    remplacer les occurrences libres de la variable par ce terme :
    (a) Axy
    (a) Acy
    (b) Axx
    (b) Acc
    (c) 8xAxx
    (c) 8xAxx
    (d) Ay
    (d) Ay
    (e) Axx ^ 9xBx
    (e) Acc ^ 9xBx
    (f) 8xBy
    (f) 8xBy
    (g) 9x9yAxy ! Bx
    (g) 9x9yAxy ! Bc
    (h) 8x8yAyy ! Bx
    (h) 8x8yAyy ! Bc
    5. Prouvez en déduction naturelle
    (a) (A ! B)to((A ^ C)toB)

    [A ^ C]2
    ^E
    A [A ! B]1
    Solution: !E
    !I2 B
    (A ^ C) ! B
    !I1
    (A ! B) ! ((A ^ C)toB)

    (b) ((A _ B) _ C) ! (A _ (B _ C))

    Page 3
    Solution:
    [B]3
    [A]3 _I
    B_C [C]2
    _I _I _I
    [A _ B]2 A _ (B _ C) A _ (B _ C) B_C
    _E3 _I
    [(A _ B) _ C]1 A _ (B _ C) A _ (B _ C)
    _E2
    A _ (B _ C)
    !I
    ((A _ B) _ C) ! (A _ (B _ C))

    6. Démontrez que A \ B ✓ A [ B, et expliquez pourquoi l’inclusion réciproque est fausse.

    Solution: Soit x 2 A \ B un élément générique de l’intérsection, alors par définition de \ on a que


    x 2 A, et donc par définition de [ on a que x 2 A [ B.
    L’inclusion réciproque est fausse : considérons par exemple A = {1}, B = {0}.

    Page 4

    Vous aimerez peut-être aussi