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

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

A 2 Exercices de révision 1 Traduisez Traduisez en logique des prédicats les propositions suivantes, et, en cas d'ambiguıté, donnez toutes les A 3 Corrigés 1 no 1, p décomposer aussi ce prédicat, c'est fait dans la seconde formule 16

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

Corrigés des exercices Logique (ie la table de vérité) de la formule ¬(q → s), elle ne semble pas correspondre tableau deux propositions fausses

[PDF] PDF 9 - Correction des exercices du TD1

l'exercice 1, il se peut que le rédacteur fasse quelques raccourcis ; cela ne vous autorise bien sûr pas à en faire dans Ecrivons déjà la proposition avec des quantificateurs : ∀ ∈ , f(x) 2 et On peut ainsi calculer le carré de n : n2 = (2 p + 1)2 

[PDF] Exercices de révision

23 oct 2012 · Donner la forme normale conjonctive et la forme normale disjonctive de la formule P Correction : 1 Table de vérité : p q r q 

[PDF] Corrigé des exercices - iFAC

Corrigé des exercices du 19 sept 2013 1 En vertu du principe d' indépendance des propositions élémentaires, la vérité ou la fausseté d'une proposition 

[PDF] 1 Logique des propositions - ENSIIE

CORRIGÉ Mardi 16 mars 2010 - Sans documents - durée : 1h30 Les exercices sont indépendants 1 Logique des Exercice 2 On consid`ere les propositions suivantes : Si F et G sont des formules alors F ∧ G est une formule • Si F et G 

[PDF] Logique - Licence de mathématiques Lyon 1

Ecrire la proposition ( ) avec des quantificateurs 2 Ecrire la négation avec des quantificateurs puis l'énoncer en français Aller à : Correction exercice 8 :

[PDF] Logique, ensembles, raisonnements - Exo7 - Exercices de

Exercice 4 Nier la proposition : “tous les habitants de la rue du Havre qui ont les yeux bleus gagneront au loto et prendront leur retraite avant 50 ans” Correction  

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

A 2 Exercices de révision 1 Traduisez Traduisez en logique des prédicats les propositions suivantes, et, en cas d'ambiguıté, donnez toutes les A 3 Corrigés 1 no 1, p décomposer aussi ce prédicat, c'est fait dans la seconde formule 16

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

Le deuxième chapitre appelé Logique propositionnelle (d'ordre 0) ou Calcul propositionnel logique des propositions, et permet de représenter des connaissances relatifs Tester ses connaissances à travers une série d' 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

[PDF] taux d'évolution successif

[PDF] imc 22 femme

[PDF] tableau imc femme

[PDF] imc 23 femme

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_dbs4.pdfusesText_7