Scribd Logo
Importer

Bienvenue sur Scribd !

  • 45 vues

    TD Li3342 5

    Transféré par

    abdelilah
    Ce document présente plusieurs exercices de logique des prédicats portant sur la traduction de phrases en langue naturelle en formules logiques, l'analyse de syllogismes et de modèles, ainsi que la représentation de contenus présupposés.

    Droits d'auteur :

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

    TD Li3342 5

    Transféré par

    abdelilah
    45 vues2 pages
    Ce document présente plusieurs exercices de logique des prédicats portant sur la traduction de phrases en langue naturelle en formules logiques, l'analyse de syllogismes et de modèles, ainsi que la représentation de contenus présupposés.

    Description originale:

    td 1

    Titre original

    td-li3342-5

    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 présente plusieurs exercices de logique des prédicats portant sur la traduction de phrases en langue naturelle en formules logiques, l'analyse de syllogismes et de modèles, ainsi que la représentation de contenus présupposés.

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

    TD Li3342 5

    Transféré par

    abdelilah
    Ce document présente plusieurs exercices de logique des prédicats portant sur la traduction de phrases en langue naturelle en formules logiques, l'analyse de syllogismes et de modèles, ainsi que la représentation de contenus présupposés.

    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

    Université Paris Diderot - Master 1 Linguistique Informatique - Sémantique

    computationnelle - 2011/2012

    TD 5 - Logique des prédicats


    1. Syllogisme
    (a) Traduire les phrases suivantes en logique des prédicats

    (1) a. Tout ce que Jean n’a pas perdu, il l’a.


    b. Jean n’a pas perdu un million de francs.
    c. Jean a un million de francs.

    (b) Analyser le syllogisme qui consiste à déduire de la conjonction de (1-a) et de


    (1-b) la conclusion (1-c). Expliquer où se situe l’erreur de raisonnement.
    2. Modèles Soit M = hU, Ii le modèle suivant : U = {Alain, Béatrice, Christine, David}.
    I(a) = Alain ; I(b) = Béatrice ; I(c) = Christine ; I(d) = David
    I(H) = {Alain, David} ; I(F ) = {Christine, Béatrice}
    I(A) = {hAlain, Christinei, hDavid, Béatricei, hAlain, Davidi}
    I(D) = {hChristine, Davidi, hAlain, Béatricei, hDavid, Béatricei, hChristine, Alaini}
    a. Évaluez la valeur de vérité des for- b. Construisez le modèle M 0 = hD, I 0 i,
    mules suivantes dans ce modèle : tel que (i) M 0 a le même domaine
    a. D(d, b) d’individus que M , (ii) I 0 associe la
    b. H(d) ∧ D(c, d) même dénotation que I aux constantes
    c. D(d, b) → F (a) d’individus, et (iii) les formules sui-
    d. H(c) ∧ (H(a) → D(a, c)) vantes sont vraies dans M 0 :
    a. H(c) ∧ H(a)
    b. ∀x (H(x) → A(x, c))
    c. A(a, c) → D(c, a)
    d. ∃x∃y ((H(x) ∧ F (y) ∧ A(x, y))∨
    (H(x) ∧ F (y) ∧ A(y, x)))
    3. Modèles La figure 1 représente un modèle.

    b
    p1

    b
    p2

    l1
    b b b

    p3 p4 p5
    l2 l3 l4

    F IGURE 1 – Un modèle
    Le modèle est constitué des éléments suivants :

    1
    – son domaine est l’ensemble des points pi et des lignes li de la figure
    – on considère les prédicats suivants :
    – P un prédicat unaire, P (x) : “x est un point”
    – L un prédicat unaire, L(x) : “x est une ligne”
    – S un prédicat binaire, S(x, y) : “x est sur y”
    – E un prédicat ternaire, E(x, y, z) : “y est entre x et z”
    (a) Donnez l’extension de chacun des prédicats.
    (b) Déterminez la valeur de vérité des propositions suivantes dans le modèle ci-
    dessus :

    (2) a. ∀x(Lx ↔ ∃ySxy)


    b. ∀x∀y((Lx ∧ Ly) → ∃z(P z ∧ Szx ∧ Szy))
    c. ∀x∀y((P x ∧ P y) → ∃z(Lz ∧ Sxz ∧ Syz))
    d. ∃x∃y∀z(P z → (Szx ∨ Szy))
    e. ∀x∀y∀z(Exyz ↔ Ezyx)
    f. ∀x(Lx → ∃y∃z∃w(Syx ∧ Szx ∧ Swx ∧ Eyzw))
    g. ∀x(∃y1 ∃y2 (y1 6= y2 ∧ Sxy1 ∧ Sxy2 ) → ∃z1 ∃z2 Ez1 xz2 )

    4. Présupposition et égalité Russel proposait de représenter au même niveau le contenu


    présupposé et le contenu asserté d’une proposition. Par exemple, pour C’est Mar-
    cel qui est coupable on aurait la formule ∃x C(x) ∧ C(m) (il existe un coupable
    et Marcel est coupable). De même, pour Le Roi de France est chauve, on aurait la
    formule suivante 1 ∃x RdF (x) ∧ ∀y (RdF (y) → y = x) ∧ C(x).
    Proposer une représentation dans le même esprit pour chacun des énoncés suivants.

    (3) a. Jean aussi est venu.


    b. Léa a réussi son ascension.
    c. Seul le facteur est passé.
    d. Paul s’est fait voler sa voiture.

    5. Traduire en logique des prédicats les phrases suivantes :

    (4) a. Tout les malades consultent un médecin.


    b. Si quelqu’un qui ne peut plus jouer a perdu, alors j’ai perdu.
    c. Tout le monde viendra, à moins que la fête soit annulée.
    d. Tous les étudiants qui vivent à Paris ou dans la région n’ont pas de
    voiture.
    e. Max ne veut pas parler à exactement deux personnes.
    f. Tout le monde est réveillé s’il y a un bruit.
    g. Si tous les logiciens sont intelligents, alors même Alfred est intelligent.
    h. Personne ne doit dépendre de tout le monde.
    i. Il faut qu’un journaliste l’interroge pour qu’un politicien se confie.

    1. La logique avec égalité est nécessaire pour exprimer formellement l’unicité.

    Vous aimerez peut-être aussi