[PDF] [PDF] A2 Exercices de révision A3 Corrigés

Dans chaque cas, il y a deux possibilités de traduction, avec les deux quantificateurs 3 Traduisez en logique des prédicats les propositions suivantes, et, en cas d 



Previous PDF Next PDF





[PDF] Logique propositionnelle (LP0) Corrigés des exercices

Logique propositionnelle (LP0) Corrigés des exercices Logique – Licence SDL Feuille 1 Exercice 2 (Thème 1) (1) La musique n'est ni triste ni rythmée



[PDF] Exercices de révision

23 oct 2012 · Exercice 1 Logique propositionnelle Soit la formule P définie comme (p⇒(q⇒r)) ⇒(r ∨ ¬p) 1 Donner la table de vérité de la formule P 2



[PDF] A2 Exercices de révision A3 Corrigés

Dans chaque cas, il y a deux possibilités de traduction, avec les deux quantificateurs 3 Traduisez en logique des prédicats les propositions suivantes, et, en cas d 



[PDF] 1 Logique des propositions - ENSIIE

Logique : IAP1 - contrôle continu - groupes 3 et 4 - CORRIGÉ Mardi 16 mars 2010 - Sans documents - durée : 1h30 Les exercices sont indépendants Notons M la proposition (ou variable propositionnelle) Marie est `a la biblioth` eque, J la 



[PDF] Université Paris 8 Introduction à la logique 2016-2017 Licence de

Exercices P Guillot 1 Calcul propositionnel Exercice 1 On désigne par p la Traduire les phrases suivantes en implication logique en précisant la 



[PDF] TD no 1 Calcul propositionnel — syntaxe et sémantique

Les formules q ⇒ p, p, r sont elles des conséquences logiques de r? Exercice 2 2 On se donne r un ensemble fini satisfaisable de formules, une formule j 



[PDF] Logique propositionnelle - CNRS

Exercice 1 : Variables d'une formules 1 Donner une définition de “l'ensemble des variables d'une formule” 2 Soient deux interprétations I1 et I2 Montrer que 



[PDF] Corrigé des exercices - iFAC

Corrigé des exercices du 19 sept 2013 1 pourquoi, i et ϕ étant données, on peut parler, sans scrupule logique excessif, de "la valeur de vérité de ϕ pour i"



[PDF] TD 3 - Calcul propositionnel - Annuaire IMJ-PRG

Logique et complexité TD 3 M1 LMFI TD 3 - Calcul propositionnel fini (cf corrigé du TD 2, exercice 4) d'après la définition d'être finiment satisfaisable : Σ est



[PDF] Cours Introduction A La Logique Mathématique ,Dr BENKADDOUR

Il aborde les techniques fondamentales de la logique propositionnelle dite d' ordre Tester ses connaissances à travers une série d'exercices corrigés

[PDF] calcul propositionnel exercices corrigés

[PDF] logique propositionnelle table de vérité

[PDF] calcul propositionnel formel

[PDF] calcul des propositions exercices corrigés

[PDF] le resultat d'une multiplication est

[PDF] comment calculer le taux de possession du stock

[PDF] cout de stockage annuel

[PDF] calcul du stock moyen

[PDF] exercice cout de passation et possession

[PDF] calcul tangente formule

[PDF] calcul tangente fonction

[PDF] calcul tangente en ligne

[PDF] calculer tangente calculatrice

[PDF] a quoi sert le sinus

[PDF] calcul taux d'évolution annuel moyen excel

Universit´e Paris Diderot - LG102(1) - 08/09ChA. Logique des pr´edicats

A.2 Exercices de r´evision

1. Traduisez les ´enonc´es suivants en formules de la logique des pr´edicats (on donnera `a chaque

fois l"interpr´etation des pr´edicats utilis´es - par exemple A(x,y) = x aime y). En cas d"´enonc´e

ambigu, on proposera deux formules. (11) a. Jean est plus grand que Marie b. Paul a vu L´ea et elle ne l"a pas vu c. Si Jean est un homme, alors il est mortel d. Un chat est entr´e e. Certains enfants ne sont pas malades f. Tous les ´el´ephants ont une trompe g. Tous les hommes n"aiment pas Marie h. Il y a une chanson qu"aucun enfant ne chante i. Si tous les hommes aiment Marie, alors elle est contente j. Tous les fermiers appr´ecient un ministre

2. Traduisez les quatre propositions du carr´e d"opposition en logique des pr´edicats. Dans chaque

cas, il y a deux possibilit´es de traduction, avec les deux quantificateurs.

3. Traduisez en logique des pr´edicats les propositions suivantes, et, en cas d"ambigu¨ıt´e, donnez

toutes les traductions correspondantes. (12) a. Bien que personne ne fasse de bruit, Jean n"arrive pas`a se concentrer b. Si personne ne fait de bruit, Jean r´epondra au moins `a unequestion c. Tout le monde a menti `a quelqu"un dans sa vie d. Tous les ´etudiants, sauf Jean, sont pr´esents e. Aucun enfant ne fait jamais aucune bˆetise f. Tout le monde a lu un livre de logique

4. Traduire les phrases suivantes en logique despr´edicats

(13) a. Quand quelqu"un fait confiance `a quelqu"un qui a tromp´e tout le monde, il a tort b. Il n"y a pas de grand champion qui n"ait caus´e de tort `a personne c. Il faut qu"une porte soit ouverte ou ferm´ee

A.3 Corrig´es

1. no1, p 15 (14) a. Jean est plus grand que MarieG(j,m) b. Paul a vu L´ea et elle ne l"a pas vuV(p,l)? ¬V(l,p) c. Si Jean est un homme, alors il est mortelH(j)→M(j) d. Un chat est entr´e?x(C(x)?E(x)) e. Certains enfants ne sont pas malades?x(E(x)? ¬M(x)) f. Tous les ´el´ephants ont une trompe?x(E(x)→T(x)) g. Tous les hommes n"aiment pas Marie?x(H(x)→ ¬A(x,m)) ?=¬?x(H(x)→A(x,m)) h. Il y a une chanson qu"aucun enfant ne chante?x?y((C(x)?E(y))→ ¬C(y,x)) =?x¬?y(C(x)?E(y)?C(y,x)) i. Si tous les hommes aiment Marie, alors elle est contente (?x(H(x)→A(x,m))→C(m)) j. Tous les fermiers appr´ecient un ministre?x?y((F(x)?M(y))→A(x,y)) ?=?y?x((F(x)?M(y))→A(x,y)) 2. no2, p 15 Tout H est M Un H est M Un H n"est pas M Aucun H n"est M ?x(H(x)→M(x))?x(H(x)?M(x))?x(H(x)? ¬M(x))?x(H(x)→ ¬M(x)) ¬?x(H(x)? ¬M(x))¬?x(H(x)→ ¬M(x))¬?x(H(x)→M(x))¬?x(H(x)?M(x)) 15 Universit´e Paris Diderot - LG102(1) - 08/09ChA. Logique des pr´edicats

3.no3, p 15

(15) a. Bien que personne ne fasse de bruit, Jean n"arrive pas`a se concentrer (?x(P(x)→ ¬B(x))? ¬C(j)) b. Si personne ne fait de bruit, Jean r´epondra au moins `a unequestion (?x(P(x)→ ¬B(x))→ ?y(Q(y)?R(j,y))) c. Tout le monde a menti `a quelqu"un dans sa vie •`a la mˆeme personne?y?x((P(x)?P(y))→M(x,y)) •pour chaque personne, il y a quelqu"un a qui...?x?y((P(x)?P(y))→M(x,y)) d. Tous les ´etudiants, sauf Jean, sont pr´esents?x((E(x)?x?=j)→P(x)) •Autre possibilit´e, toujours fausse2(?x(E(x)→P(x))? ¬P(j)) e. Aucun enfant ne fait jamais aucune bˆetise •Tout enfant fait des bˆetises3?x(E(x)→B(x))?x(E(x)→ ?y(B(y)?F(x,y))) •Aucun enfant ne fait de bˆetise?x(E(x)→ ¬B(x))?x(E(x)→ ¬?y(B(y)?F(x,y))) f. Tout le monde a lu un livre de logique •Un livre a ´et´e lu par tout le monde?x?y((LdL(x)?P(y))→L(y,x)) •Tout le monde a lu un livre diff´erent?y?x((LdL(x)?P(y))→L(y,x)) 4. no4, p 15

•Phrase (1a) :

Proc´edons en essayant de faire apparaˆıtre des propri´et´es ind´ependantes :

Quand quelqu"un

???fait confiance `a quelqu"un qui a tromp´e tout le monde?

Ψ, il a tort

- Premier niveau :Quand quelqu"unΦ, il a tort - l"ind´efiniquelqu"uncombin´e avec la conditionnelle a une valeur universelle ?x((Px?Φx)→Tx) - Deuxi`eme niveau : Φx=xfait confiance `a quelqu"un quiΨ - ambigu¨ıt´e :quelqu"unpeut ˆetre lu existentiellement ou universellement. ?y((Py?Ψy)?C(x,y)) ?y((Py?Ψy)→C(x,y)) - Troisi`eme niveau : Ψy=ya tromp´e tout le monde ?z(Pz→Tr(y,z))

Si on met tout ensemble, cela donne :

?x?

Px??y?

Py??z(Pz→Tr(y,z))

?C( x,y)? →Tx? •Phrase (1b) : deux formules ´equivalentes (il y en a d"autres)

¬?x(GCx? ¬?y(Py?CT(x,y)))

¬?x(GCx? ?y(Py→ ¬CT(x,y)))

•Phrase (1c) : on peut discuter sur leou(inclusif ou exclusif) ?x(Px→(Ox?Fx))

2`a moins de violer la pr´esupposition que Jean est ´etudiant.

3Premi`ere formule : on pose pour simplifier queB(x) =xfait des bˆetises. Pour ˆetre rigoureux, il faut bien sˆur

d´ecomposer aussi ce pr´edicat, c"est fait dans la seconde formule. 16quotesdbs_dbs6.pdfusesText_12