Scribd Logo
Hochladen

Willkommen bei Scribd!

  • Exercices Corrigés - Bases de La Logique - Propositions - Quantificateurs

    Hochgeladen von

    Kacou Fatim
    424 Ansichten13 Seiten
    gt

    Originaltitel

    Exercices corrigés -Bases de la logique - propositions - quantificateurs

    Copyright

    © © All Rights Reserved

    Verfügbare Formate

    PDF oder online auf Scribd lesen

    Stufen Sie dieses Dokument als nützlich ein?

    Sind diese Inhalte unangemessen?

    Dieses Dokument melden
    gt

    Copyright:

    © All Rights Reserved
    Als PDF herunterladen oder online auf Scribd lesen
    Markieren Sie unangemessene Inhalte
    424 Ansichten13 Seiten

    Exercices Corrigés - Bases de La Logique - Propositions - Quantificateurs

    Hochgeladen von

    Kacou Fatim
    gt

    Copyright:

    © All Rights Reserved
    Als PDF herunterladen oder online auf Scribd lesen
    Markieren Sie unangemessene Inhalte
    von 13
    2ari2020, Exercices corigés Bases de la logique - propositions - quantifcateurs sibmathnet & QE) Rechercher sur le site. jibm@th Rechercher sur le site. Accueil Lycée Supérieur Bibliothéques Références Thémes Forum Bibliothéque d'exercicesBibliothéque de problémesAutomatismes Accueil Lycée Collége Seconde supérieur > Math Sup Math Spé Capes Agreg interne BTS Bibliothéques > Bibliothéque d'exercices Bibliotheque de problémes Automatismes Références > Dictionnaire Biographie de mathématiciens Formulaire Lexique francais/anglais Themes Cryptographie et codes secrets Jeux et énigmes Carrés magiques Mathématiques au quotidien Dossiers Forum Ressources mathématiques > Base de données d'exercices > Exercices de logique et de théorie des ensembles > ‘Accéder 4 mon compte > Accéder a ma feuille d'exercices > .wwu-bibmath netressources/index php action-afiched.quoi-bdellogiquelquantifateursstype=fexo 3 zari2020 Exercioe conga Damon dni Exercices corrigés - Bases de la logique - propositions - quantificateurs opostons - quantifiateurs Opérateurs logiques et tables de vérité Exercice 1 w - Les cartes [Signaler une erreur (Ajouter a ma feuille dexos] lEnoncé V Quatre cartes comportant un chiffre sur une face et une couleur sur l'autre sont disposées @ plat sur une table. Une seule face de chaque carte est visible. Les faces visibles sont les suivantes: 5, 8, bleu, vert. Quelle(s) carte(s) devez-vous retourner pour déterminer la véracité de la régle suivante : si une carte a un chiffre pair sur une face, alors elle est bleue sur l'autre face. II ne faut pas retourner de carte inutilement, ni oublier d'en retourner une. Indication W Corrigg ¥ Il faut retourner la carte 8 et la carte verte + inutile de retourner la carte 5, on n'a pas de contraintes sur les cartes ayant un chiffre impair sur une face; + il faut retourner la carte 8, pour vérifier que la couleur sur 'autre face est bleue; * inutile de retourner la carte bleue, une carte ayant un chiffre pair ou impair sur une face peut étre bleue sur l'autre face; * il faut retourner la carte verte : si le chiffre inscrit sur l'autre face était pair, la régle serait fausse Exercice 2 so - Autour de I'implication (Signaler une erreur] (Ajouter & ma feuille d'exos} Enoncé W Trouver des propositions P et Q telles que 1. P => QestvraietQ —> Pest vrai 2. P => Qestfaux et Q => Pest vrai 3. P => Qestfaux et Q —> Pest faux Indication Corrigg ¥ 1. On peut prendre pour P la proposition “Ie triangle ABC est rectangle en A" et pour Q la proposition "BC? = AB? + AC?”. 2. On peut prendre pour P la proposition” ABCD est un rectangle" et pour Q la proposition ABCD est un carré. 3. On peut prendre pour P la proposition "ABCD est un rectangle” et pour Q la proposition, ABCD est un losange Exercice 3 wow - Loi de Morgan (Signaler une erreur (Ajouter & ma feuille d'exos] lEnoncée W Soit A, B et C trois propositions. Démontrer que les propositions A ET (B OU C) et (Act B) OU (AET C) sont équivalentes Indication Corrigé V On va dresser les tables de vérité de ces deux propositions et démontrer que leurs résultats sont identiques. .wwu-bibmath netressources/index php action-aficheS.quoi-bdellogiquelquantifateurs8type=fexo 23 2ar2020, Exercces corrigés Bases dela logique - propositions - quantficateurs A|B|c|Bouc|AET(BOUC) ofojo} o 0 oo} 1 0 ofijo} 4 0 ofifi 1 0 1jo}o} o 0 1joja 1 1 ajijof} oa 1 ajaja 1 1 A|B|C| ABT B|AETC | (AETB) OU (AETC) oJo}o} o 0 0 oyo}a 0 0 0 Oy;1jo} o 0 0 o}1j1} oo 0 0 1Jo}o} o 0 0 1jo}i} oo 1 1 ayijof} 4 0 1 afafa 1 1 1 La lecture de ces deux tables de vérité nous dit bien que les deux propositions sont équivalentes, Exercice 4 soir - Opérateur logique universel (Signaler une erreur) (Ajouter 4 ma feuille d'exos] lEnoncé V On dit d'un opérateur logique qu'il est universel s'il permet de reconstituer tous les autres opérateurs logiques. En pratique, il suffit de verifier que l'on peut reconstituer les trois opérateurs logiques NON, OU et ET pour montrer qu'un opérateur est universel, Démontrer que les deux opérateurs suivants sont universels 1. lopérateur NAND, défini par A NAND B = NON(AET B); 2. opérateur NOR, defini par A NOR B = NON(4 OU B) Indication Corrigg ¥ 1. On va commencer par réaliser la table de vérité de l'opérateur NAND. A|B|AETB|ANANDB ojo 0 1 o}a 0 1 1}o 0 1 1|1 1 0 On prouve ensuite que lopérateur NON peut étre défini a l'aide de NAND. Pour cela, on remarque que A NAND A= NON A Alaide de la table de vérité ci-dessus. On en déduit alors que Vopérateur ET peut s'exprimer a l'aide de NAND. En effet, AET B= NON(ANAND B) = (ANAND B) NAND (A NAND B). Puisqu’on peut exprimer l'opérateur OU a l'aide des opérateurs ET et NON, on peut retrouver aussi Vopérateur OU uniquement a l'aide de NAND. En effet, on a .wwu-bibmath netressources/index php action-aficheS.quoi-bdellogiquelquantifateurs8type=fexo 33 2ar2020, Exercces corrigés Bases dela logique - propositions - quantficateurs AOU B=NON(NON A ET NON B). Remplacant les NON et le ET par leur formule a l'aide de NAND, on exprimera OU 4 l'aide de NAND uniquement. On peut aussi remarquer, a l'aide d'une table de vérité, que AOU B= (ANAND A) NAND (B NAND B) 2. La méthode est similaire. La table de vérité est cette fois A HrHoo B|AOUB| ANORB 0 0 1 1 0 0 1 0 1 1 0 (On remarque ensuite que A NOR A = NON A Al'aide de la table de vérité ci-dessus. On en déduit alors que 'opérateur OU peut s'exprimer a l'aide de NOR. En effet, AOU B=NON(ANOR B) Finalement, on a aussi (ANOR B) NOR (A NOR B) AET B=(ANOR A) NOR (BNOR B). Exercice 5 wow - Négation de l'implication (Signaler une erreur] [Ajouter & ma feuille d'exos) lEnoncé V Soit P et Q deux propositions. Montrer que les propositions NON(P => Q) et PET NON Q sont équivalentes Indication ® Il suffit d'établir les tables de vérité de ces deux propositions et de vérifier qu'elles sont identiques. On a ‘orrigé ¥ dune part P\Q o;o oy1 1jo 1}. et d'autre part P\Q o;o oy. 1]o 1ji P > Q|NONP => Q 0 1 1 0 0 1 1 0 NON Q| PETNONQ 1 0 0 0 1 1 0 0 Les deux propositions sont bien équivalentes! Exercice 6 soiew - Forme normale conjonctive et disjonctive (Signaler une erreur] (Ajouter A ma feuille d'exos] Enoncé Ecrire sous forme normale conjonctive et sous forme normale disjonctive les propositions ci-dessous .wwu-bibmath netressources/index php action-afiches.quoi-bdellogiquelquantifiateursstype=fexo 4n3 2arw2020 Exericescorigés Bases de a fgg 1. GpAg =r 2. (pV =a) A(s => 1): 3. “(PAg) AV 9): opostons - quantifialeurs Indication ® Corrigé V La méthode est de remplacer les symboles => and <=> par leur équivalent avec les symboles V,A,7 dutiliser les lois de Morgan -(A VB) = =A AB et (AA B) = AV -B, et diutiliser la distributivité de A par rapport a V. 1. (4p Aq) > rest la méme chose que ~(—p A q) Vr. On enléve le non externe, et on trouve (pV 7g) Vr soit pV -q Vr. Cest une forme normale a la fois disjonctive et conjonctive. 2. On enléve le => et on trouve done +(p V -g) A (8 Vt). On enléve ensuite le non et on trouve —p A q/\ (8 V 2). Cette formule est déja sous forme conjonctive, Pour la mettre sous forme disjonctive, il faut utiliser la distributivité, et on trouve (-PAgh-s)V (-pAgAd). 3. On enlave le non externe et on trouve (=p Vg) / (pV 4) . C'est une forme normale conjonctive. Pour obtenir une forme normale disjonctive, il faut encore développer par distributivité du et par rapport au ou, On trouve Cp Ap)¥ pha) (ap) (-aQ): On peut encore simplifier, car (=p A p) est toujours faux et n‘intervient pas dans la disjonction. Finalement, on trouve (=p/q) V (gp) - Exercice 7 w - La pluie et le parapluie (Signaler une erreur] [Ajouter & ma feuille d'exos] lEnoncé W Sil pleut, Abel prend un parapluie. Béatrice ne prend jamais de parapluie s'il ne pleut pas et en prend toujours un quand il pleut”. Que peut-on déduire de ces affirmations dans les différentes situations ci- dessous? Justifier soigneusement vos réponses en introduisant 3 propositions logiques p, q et r. 1. Abel se proméne avec un parapluie. 2. Abel se proméne sans parapluie. 3. Béatrice se proméne avec un parapluie. 4, Béatrice se proméne sans parapluie. 5. II ne pleut pas. 6. Il pleut Indication W Notez p ="il pleut", g ="Abel a un parapluie” et r Pigr? ‘Béatrice a un parapluie”. Que signifie I'énoncé sur Corrigg ¥ Notons p =" pleut’, ¢ p => qetquep <> r bel a un parapluie" et r —"Béatrice a un parapluie”. L'énoncé nous dit que 1. Dans cette situation, on nous dit que q est vraie, On ne peut rien conclure. 2. non q est vraie. Or, on sait (contraposée de p => q) que (non g = non p). Donc il ne pleut pas. 3. rest vraie, et r équivaut a p. Donec il pleut. 4. non r est vraie et non r équivaut anon p donc il ne pleut pas. 5. non p est vraie et non p équivaut non r donc Béatrice se proméne sans parapluie. 6. pest vraie orp => get p <=> r donc Abel et Béatrice ont tous deux leur parapluie, Conditions nécessaires, conditions suffisantes Exerc e 8 w - Nécessaire ou suffisante? (signaler une erreur] [Ajouter a ma feuille d'exos) .wwu-bibmath netressources/index php action-afiched.quoi-bdellogiquelquantifateursstype=fexo 53 2ar2020, Exercices corigés Bases de la logique - propositions - quantifcateurs lEnoncé W On rappelle qu'un entier p divise n, et on note p|n, s'il existe un entier relat k tel que n = k x p. 1. Est-ce que 6|n est une condition nécessaire a ce que n soit pair? 2. Est-ce que 6|n est une condition suffisante a ce que n soit pair? Indication W 1. Trouver un contre-exemple. 2. Prouver le. Corrigg ¥ Notons A la proposition "6|n" et B la proposition “n est pair”. Alors A => B. En effet, si 6)n, alors il existe un entier k tels que n = 6 x k et done n = 2 x (3k) est pair. En revanche, la réciproque est fausse. En effet, 4 est pair mais 6 ne divise pas 4. On en déduit que 1. 6|n n'est pas une condition nécessaire ce que n soit pair (4 est un contre-exemple). 2. 6|n est une condition suffisante a ce que n soit pair. Exer ¢ 9 W - Trouver des conditions nécessaires [signaler une erreur] [Ajouter & ma feuille d’exos) Enoncé V Trouver des conditions nécessaires (pas forcément suffisantes) a chacune des propositions suivantes : 1. Avoir son bac. 2. Le point A appartient au segment [BC] 3. Le quadrilatére ABCD est un rectangle. Indication P orrigé 1. Avoir passé l'examen, 2. Les points A, B et C’ sont alignés. 3. ABCD est un parallélogramme. Les trois conditions précédentes sont des conditions nécessaires mais non suffisantes (pourquoi). On peut en imaginer bien d'autres.. Exercice 10 w - Trouver des conditions suffisantes (Signaler une erreur) [Ajouter & ma feuille d'exos) lEnoncé W Trouver des conditions suffisantes (pas forcément nécessaires) a chacune des propositions suivantes 1. Avoir son bac. 2. Le point A appartient au segment [BC] 3. Le quadrilatére ABCD est un rectangle. Indication Corrigé V 1. Avoir plus que 12 en moyenne. 2. Aest le milieu de [BC] 3. Les diagonales de ABCD ont méme longueur et se coupent en leur milieu, Les deux premiéres conditions sont des conditions suffisantes, mais non nécessaires (pourquoi?). En revanche, la troisiéme condition est une condition nécessaire et suffisante. .wwu-bibmath netressources/index php action-afiched.quoi-bdellogiquelquantifateursstype=fexo ans 2ar2020, Exercices corrigés Bases dela logique - propositions - quantficateurs Exercice 11 ¥w - Condition nécessaire, suffisante, pour avoir un rectangle (Signaler une erreur] [Ajouter a ma feuille d'exos] lEnoncée V Soit la proposition P : "Le quadrilatére ABCD est un rectangle" et les propositions + QL: "Les diagonales de ABCD ont mame longueur* . Q2 : "ABCD est un carr . Q3: "ABCD est un parallélogramme ayant un angle droit” . Q4 : “Les diagonales de ABCD sont médiatrices l'une de l'autre" Q5 : "Les diagonales de ABCD ont méme milieu’, yawne Dire si chacune des propositions Qi, Q2, Qs, Qa, Qs est pour P une condition nécessaire non suffisante, une condition suffisante non nécessaire, une condition nécessaire et suffisante, ou ni l'un ni autre. Indication ® Corrigé V 1. Qy est une condition nécessaire non suffisante (elle le serait si on ajoutait que les diagonales ont méme milieu). 2. Qz est une condition suffisante non nécessaire (tous les rectangles ne sont pas des carrés!). 3. Qs est une condition nécessaire et suffisante. 4. Qs n'est ni une condition nécessaire, ni une condition suffisante (Q4 caractérise les losanges). 5. Qs est une condition nécessaire non suffisante (elle le serait si on ajoutait que les diagonales ont méme longueur). Exercice 12 ww - Beaucoup de bruit pour rien... [Signaler une erreur) [Ajouter a ma feuille a'exos) lEnoncé ¥ Parmi toutes les propositions suivantes, regrouper par paquets celles qui sont équivalentes Tu auras ton examen si tu travailles réguliérement. Pour avoir son examen, il faut travailler réguliérement. Situ ne travailles pas réguliérement, tu n’auras pas ton examen. Il est nécessaire de travailler réguliérement pour avoir son examen. Pour avoir son examen, il suffit de travailler réguliérement. Ne pas travailler réguliérement entraine un échec a l'examen Si tu nas pas ton examen, cest que tu n’as pas travaillé réguli Travail régulier implique réussite a "examen ‘On ne peut avoir son examen qu’en travaillant réguliérement rement, oN an awne Indication ® Corrigé ¥ Notons P la proposition "Avoir son examen” et Q Ia proposition "Travailler réguliérement". Nous allons écrire les propositions sous la forme P —> QouQ => P. La proposition est clairement Q —> P. La proposition est P => Q. La proposition est Q —> P. C'est une proposition équivalente A sa contraposée, P —> Q. Méme signification que 2., P —> Q Cette fois, ona Q => P. La proposition est Q =» P, qui est équivalente a P —> Q. Cette fois, ona P => Q, qui est équivalenteaQ => P. Tout simplement, Q => P. Cest la méme chose que 2, & savoir P —> Q Pon auawn Les propositions 1, 5, 7 et 8 sont donc équivalentes, et les proposition 2, 3, 4, 6 et 9 le sont également. Exercice 13 SAW HON - Qui est suffisant a qui??? (Signaler une erreur] [Ajouter & ma feuille d'exos) Enoncé V .wwu-bibmath netressources/index php actor ellogiquelquantiicateursBtype=texo 73 2ar2020, Exercces corrigés Bases dela logique - propositions - quantficateurs Soit A, B et C trois propositions. Sion admet que (A —> B) —> C est vrai, qui est, avec certitude, nécessaire a qui? Qui est suffisant a qui? Indication Corrigé ¥ Construisons la table de vérité de (A —> B) —> C A|B|A => Blc| (A+B) > 0 ojo 1 0 0 ofa 1 0 0 1fo o fo 1 rf 1 0 0 ojo 1 1 1 ofa 1 1 1 1jo 0 1 1 afa 1 1 1 Les valeurs de vérité de A, B et C qui sont possibles correspondent aux valeurs des lignes 3,5,6,7,8, celles pour laquelle (A —> B) —> C est vrai. On en déduit alors que = On ne peut pas étre sir que A est suffisant a B. Par exemple, dans la troisiéme ligne, A est vrai, Best faux, et pourtant (A => B) => C est vrai, Symétriquement, on ne peut pas étre sir que B est nécessaire a A. = De méme, on ne peut pas étre sr que A est suffisant 4 C (ligne 3), que Best suffisant a A (ligne 6), que C'est suffisant a A (ligne 5), que C est suffisant a B (ligne 5). = En revanche si B est vrai, et puisque (A => B) => C est vrai, on ne peut étre que dans les lignes 6 ou 8 de la table de vérité, pour lesquelles C est automatiquement vrai, Dés que B est vrai, alors C est vrai. Autrement dit, B est une condition suffisante pour que C’ soit vrai. Symétriquement, C’ est une condition nécessaire pour que B soit vrai Quantificateurs Exercice 14 w - Vraies ou fausses (Signaler une erreur! (Ajouter a ma feuille d'exos) v Déterminer parmi les propositions suivantes lesquelles sont vraies lEnonc «136 est un multiple de 17 et 2 divise 167. 136 est un multiple de 17 ou 2 divise 167. . Sc ER, (x +1=0 etz+2=0). . (Ge CR, 2 +1=0)et (Ae CR, « . Wa ER, (2 +14 00uc +240). - R‘, Vy R*, VzeR*, z—2y . Wy ER’, ar ER’, Wee RY, z— ay =0; . Wy ER, WeeR", 32 eR*, z— ay =0; . Sa ER, Ve > 0, |a| 0, Ja ER, lal 0). 10. Cette assertion est "évidemment” vraie car elle est plus faible que la précédente (on peut choisir a apras © > 0). Exercice 15 sow - Nier des assertions avec quantificateurs (signaler une erreur] [Ajouter 4 ma feuille d'exos] Enoncé W Soit f : R — IR une fonction. Nier les assertions suivantes 1. V2eER, f(z) £0. 2. VM > 0, 3A>0, Vz >A, f(x) > M. 3. WreR, f(z)>0 => 2<0. 4. Ve >0, 3 > 0,V(2,y) €1?, (lx ~ yl Sn => |f(z) — Fl) Se), Indication ® orrigé 1. 32 ER, f(z) =0 2. 3M >0, VA>0, de> A, fle) Oeta >0. 4, 3e>0, Vn > 0, Aa,y) € 12,2 -y| < net f(z) — f(y)| >€ Exercice 16 sesew - Vraies ou fausses [Signaler une erreur] [Ajouter 4 ma feuille dexos] lEnoncé V Soit n un entier naturel non nul. On note Cr, la courbe d'équation y= (1 + 2)” et Dy la droite d'équation y = 1+ ne. 1, Rappeler 'équation de la tangente a C, au point A de C, d'abscisse 0. 2. Tracer (par exemple a l'aide d'un logiciel) Cn et Dn lorsque n = 2,3 3. En vous aidant du graphique pour obtenir une conjecture, démontrer si les propositions Suivantes sont vraies ou fausses. 31. Vn EN’, Ve eR, (1+2)">1+n2; 32. Vn EN*, VeER,, (1+2)" >1+nz; 33. 3n EN‘, WeER, (1+ 2)"=1+n2; 34. Vn EN’, IZ ER, (1+ 2)" =14 ne; 35. Sn EN", VeER’, (1+ 2)" >1+nz Indication ® ‘orrigé W Diaprés le cours de lycée, I'équation de la tangente au point A de coordonnée (0,1) est l+ne 1 y 2. 3. 3.1. Cest faux, par exemple sin = 3 et z= —4. 3.2. Cest vrai. Ily a plusieurs facons de démontrer cela. La plus facile est d'étudier la fonction f(x) = (1 +2)" —(1+nz) sur (0, +00[, On peut aussi utiliser la formule du .wwu-bibmath netressources/index php action-aficheS.quoi-bdellogiquelquantifateurs8type=fexo ons 2ar2020, Exercices corigés Bases de la logique - propositions - quantifcateurs binéme de Newton. 3.3. Clest vrai: n = 1 convient. 3.4. Clest vrai : prendre = 0. 3.5. Cest vrai: prendre n = 2, car (1 +2)? =14 22 +2? >1420 si £0. Exercice 17 wow - Du texte aux quantificateurs (Signaler une erreur] [Ajouter a ma feuille e’exos) nonce V Soit f : R -> RB une fonction, Exprimer a l'aide de quantificateurs les assertions suivantes 1. fest constante; 2. f n'est pas constante; 3. f s'annule; 4. f est périodique. Indication ® ‘orrigé W 1. On peut 'écrire sous la forme : SC ¢R, V2 € R, f(x) = C; une autre écriture possible est Vay ER, f(x) = f(y). 2. Sion nie lassertion précédente, on trouve VC ¢ R, Sx €R, f(x) # C. Sion nie la seconde, on trouve 3,y ER, f(x) + f(y) 3. 32 ER, f(z) =0; 4. ST €R', Ve R, f(e+T) = f(a) Exercice 18 secre - Du quantificateur au texte [signaler une erreurl [Ajouter & ma feuille exes) lEnoncé W Soit f : R > R une fonction. Enoncer en langage courant les assertions suivantes écrites a l'aide de quantificateurs. Peut-on trouver une fonction qui satisfait cette assertion? Qui ne la satisfait pas? 1. VaeR, WER, f(z) < f(y); 2. V2 ER, ASTER, f(z) = f(x +T); 3. Ve eR, ITER’, f(z) = f(z +T); 4. 30 ER, WWER, y= f(z), Indication Corrigé 1. f n’admet pas de maximum. Par exemple, f(x) = a satisfait cette assertion. f(x) satisfait pas cette assertion. 2. Toute fonction vérifie cette assertion, il suffit de prendre T = 0. 3. Toutes les valeurs de f sont prises au moins deux fois. f(x) fonctions vérifiant cette assertion, f(z) = x un contre-exemple. 4. Cette assertion est absurde, car elle signifierait qu'il existe un réel « tel que f() prenne toutes les valeurs réelles possibles, Aucune fonction ne satisfait cette assertion, sin est un exemple de Exercice 19 www - Limites de validité d'une proposition (signaler une erreur) (Ajouter & ma feuille dexos] lEnoncé V Déterminer les réels x pour lesquels l'assertion suivante est vraie Vy € [0,1], c>y => 2 > dy. Indication P .wwu-bibmath netressources/index php action-afiched.quoi-bdellogiquelquantifateursstype=fexo 1013 2ar2020, Exercces corrigés Bases dela logique - propositions - quantficateurs Corrigg ¥ On sépare en 4 cas 1. x > 2, Alors, pour tout y € (0, 1], les propositions x > y et x > 2y sont vraies, D'apras la table de vérité de implication, assertion est vraie. 2. x <0. Alors, pour tout y € [0,1], les propositions « > y et x > 2y sont fausses. D'aprés la table de vérité de implication, lassertion est vraie. 3. x €J0,2[. On peut alors trouver un réel y € (0, 1] tel que 2y > x et x < y, En effet, 22/2 €]0,1[ et il suffit de choisir x/2 < y < min(1, 2). Dans ce cas, x > y est vraie et x > 2y est fausse. L'assertion est fausse 4. Siz = 0, alors les assertions x > y et x > 2y sont ou bien simultanément fausses (lorsque €]0, 1)), ou bien simultanément vraies. L'assertion est donc vraie. Exercice 20 sesew - Une proposition sur les fonctions [Signaler une erreur] (Ajouter & ma feuille dexos] Enoncé V Soit f : R + R une fonction. On considére la proposition p suivante p=(2teR, WreR, f(2) t) 2. La proposition p signifie que la fonction f est majorée. Elle est verifiée par exemple si f(z) =sin(z). I suffit de choisir ¢ = 2. Elle n'est pas vérifiée par la fonction f(z) =z. Sinon, il existerait t € R tel que, pour tout € IR, « < t. Cela ne fonctionne pas avec «= t+ 1. 3. 3.1. py est équivalente a p : en effet, les variables « et t sont muettes, on peut les échanger! 3.2. pz est toujours fausse : pour n'importe quel t € R,, sion choisit pas f(t) <2. 3.3. py n'est ni toujours vraie, ni toujours fausse. Elle est vrale pour f(a) = a : pour tout te R, sion choisir 2 =t — 1, onabien f(x)

    Das könnte Ihnen auch gefallen