Correction des exercices du TD1

Documents pareils
Chapitre 2. Eléments pour comprendre un énoncé

Exercices - Polynômes : corrigé. Opérations sur les polynômes

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Calcul fonctionnel holomorphe dans les algèbres de Banach

Continuité en un point

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Suites numériques 3. 1 Convergence et limite d une suite

La fonction exponentielle

Correction de l examen de la première session

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs

Image d un intervalle par une fonction continue

Chapitre 2 Le problème de l unicité des solutions

Université Paris-Dauphine DUMI2E 1ère année, Applications

III- Raisonnement par récurrence

Théorème du point fixe - Théorème de l inversion locale

Pour l épreuve d algèbre, les calculatrices sont interdites.

Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48

Factorisation Factoriser en utilisant un facteur commun Fiche méthode

Développements limités, équivalents et calculs de limites

Raisonnement par récurrence Suites numériques

Logique. Plan du chapitre

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

avec des nombres entiers

Résolution d équations non linéaires

Structures algébriques

CHAPITRE 1. Suites arithmetiques et géometriques. Rappel 1. On appelle suite réelle une application de

Le produit semi-direct

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Commun à tous les candidats

Calcul différentiel sur R n Première partie

Espérance conditionnelle

1 Définition et premières propriétés des congruences

Comparaison de fonctions Développements limités. Chapitre 10

Limites finies en un point

Problèmes de Mathématiques Filtres et ultrafiltres

La mesure de Lebesgue sur la droite réelle

Développements limités. Notion de développement limité

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Intégration et probabilités TD1 Espaces mesurés Corrigé

Équations non linéaires

Continuité d une fonction de plusieurs variables

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

Cours de mathématiques

3 Approximation de solutions d équations

EXERCICE 4 (7 points ) (Commun à tous les candidats)

Exercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument

Du Premier au Second Degré

IV- Equations, inéquations dans R, Systèmes d équations

CORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!»

Probabilités sur un univers fini

Soit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.

Chapitre 3. Mesures stationnaires. et théorèmes de convergence


I. Ensemble de définition d'une fonction

DOCM Solutions officielles = n 2 10.

TOUT CE QU IL FAUT SAVOIR POUR LE BREVET

Le théorème de Thalès et sa réciproque

a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe le nombre ax + b

Polynômes à plusieurs variables. Résultant

Calcul différentiel. Chapitre Différentiabilité

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v t

Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en Énoncé.

Construction d un cercle tangent à deux cercles donnés.

Chapitre VI - Méthodes de factorisation

Suites numériques 4. 1 Autres recettes pour calculer les limites

NOMBRES COMPLEXES. Exercice 1 :

La maison Ecole d ' Amortissement d un emprunt Classe de terminale ES. Ce qui est demandé. Les étapes du travail

Eteindre. les. lumières MATH EN JEAN Mme BACHOC. Elèves de seconde, première et terminale scientifiques :

Fonctions de deux variables. Mai 2011

Extrait du poly de Stage de Grésillon 1, août 2010

Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)

DÉRIVÉES. I Nombre dérivé - Tangente. Exercice 01 (voir réponses et correction) ( voir animation )

Calculabilité Cours 3 : Problèmes non-calculables.

I. Polynômes de Tchebychev

Triangle de Pascal dans Z/pZ avec p premier

Rappels et compléments, première partie : Nombres complexes et applications à la géométrie

Premiers exercices d Algèbre. Anne-Marie Simon

Introduction à l étude des Corps Finis

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Dualité dans les espaces de Lebesgue et mesures de Radon finies

EI - EXERCICES DE PROBABILITES CORRIGES

Angles orientés et trigonométrie

Probabilités et Statistiques. Feuille 2 : variables aléatoires discrètes

Moments des variables aléatoires réelles

Algèbre binaire et Circuits logiques ( )

Probabilités conditionnelles Loi binomiale

LE PROBLEME DU PLUS COURT CHEMIN

Auto-Entreprise : Activités : Eric SOTY - Siret n Formation Bureautique, continue d'adultes. Tél : Fax :

6. Les différents types de démonstrations

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Fonctions de plusieurs variables

EXCEL TUTORIEL 2012/2013

1 Première section: La construction générale

Fonctions de plusieurs variables et applications pour l ingénieur

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Les indices à surplus constant

Date : Tangram en carré page

Transcription:

Correction des exercices du TD1 Rappel : des aides vous sont fournies sur le site «www4.utc.fr /~mt21/» à la fin des fichiers consacrés aux chapitre de cours. N hésitez pas à les consulter pour refaire les exercices avant de regarder la correction. Nota : Lorsque la démonstration d une question a déjà été présentée (typiquement comme dans l exercice 1, il se peut que le rédacteur face quelques raccourcis ; cela ne vous autorise bien sûr pas à en faire dans vos copies. Exercice A.2.1 Q1 Utiliser les quantificateurs ou, si vous ne les avez pas encore vus, raisonnez en français. La négation de "une propriété est vraie pour tout élément d un ensemble" est "il existe au moins un élément de l ensemble qui ne la vérifie pas". La négation de (P et Q) est ( P ou Q ). Ecrivons déjà la proposition avec des quantificateurs : x Ë, f(x)â2 et g(x) = 0 On commence par écrire ce que l on cherche, c est à dire la négation de la proposition : ( x Ë, f(x)â2 et g(x) = 0) Pour ne pas se tromper, on peut incorporer des parenthèses dans la proposition, afin de savoir dans quel ordre il faut effectuer les négations : Attention, la notation de la partie quantificateur ( ( x Ë), ( (f(x)â2) et (g(x) = 0) ) ) entre parenthèses est un peu abusive Puis on effectue effectivement la négation : ( x Ë), ( (f(x)â2) et (g(x) = 0) ) ð a Ë, (f(x)â2) ou (g(x) = 0) ð a Ë, f(a)>2 ou g(a) ý 0 Q2 ( n Î, n  0 ou n > 0) Puis par un jeu de parenthèses (à vous de jouer), on obtient le résultat : n Î, n > 0 et n  0 Q3 ( x Ë, e x > 1) Ici on va utiliser le fait que la négation de (P ou Q) est ( P et Q ). ð x Ë, e x  1 Cette proposition est bien entendue fausse, mais c est normal pour la négation d une proposition vraie. Q4 (! x Ë, e x = 1) ð ( x Ë, e x x1 x2 ý 1) ou ( x1 Ë, x2 Ë, x 1 ý x 2, e = 1 et e = 1) La négation de l existence unique entraîne la mise en évidence de 2 cas possible : la non existence, ou l existence multiple.

Q5 (x à 0 ð x existe) ð x à 0 et x n existe pas Q6 ( n É + ð n 3 n est multiple de 3) ð n É + et n 3 n n est pas multiple de 3 Ici, on pense à rappeler que (P ð Q) est équivalent à (P et Q) ; pour se souvenir de cela, il suffit de nier ( P ou Q) qui est la forme équivalente de l implication. De plus, pour éviter les erreurs, on retiendra que la négation d un implication n est pas une implication. Mêmes remarques que précédemment. Exercice A.2.2 Soit E un ensemble, et P(x) une propriété satisfaite ou non par les éléments de E. Trouver l unique ensemble A tel que ( x A, P(x)) ð ( x A, P(x)) est fausse. Réécrire l énoncé ne fait jamais de mal. Pour répondre à la question, commençons par réécrire la proposition : (P ð Q) est équivalent à ( P ou Q) ( x A, P(x)) ou ( x A, P(x)) ñ ( a A, P(a)) ou ( x A, P(x)) (1) Pour que la proposition ci-dessus soit fausse, il faut que les deux termes qui entourent le ou soit faux simultanément. Or ici, on voit apparaître une complémentarité de propositions (dans l hypothèse, on indique de P(x) est soit vraie soit fausse sur E) qui va nous permettre de faire un petit raisonnement par l absurde ; encore faut-il sentir que la véracité des deux termes du ou est fortement liée à l existence d éléments de E. Supposons que A est non vide, donc qu il existe au moins un élément a dans A, et que (1) soit fausse (donc les deux termes de (1) faux). Pour cet élément de A, l énoncé nous dit que P(x) est satisfaite ou non, donc que a (qui existe par hypothèse est tel que soit ( a A, P(a)), soit ( a A, P(a)) (ce qui est complètement équivalent à ( x A, P(x)) car x est une variable muette). Ceci est directement en contradiction avec le fait que (1) est fausse, ce qui nous montre que l hypothèse d existence d un a est fausse ; et donc A =. Exercice A.2.3 Soient E et F, deux ensembles, soit f une application E F, f : x a f(x). Soit la proposition : x E, y E, (x ý y) ð (f(x) ý f(y)) (1) Q1 : négation de (1) (1) ñ ( x E, y E, (x ý y) ð (f(x) ý f(y)) ) Soit en transformant (utilisation des même astuces que l exercice A.2.1) : x E, y E, (x ý y) et (f(x) = f(y)) Q2 : contraposée de (1) La contraposée est une forme équivalente de l implication : x E, y E, (f(x) = f(y)) ð (x = y) (2) Q3 : négation de la contraposée de (1) (2) ñ ( x E, y E, (f(x) = f(y)) ð (x = y) ) Soit en transformant (utilisation des même astuces que l exercice A.2.1) : x E, y E, (f(x) = f(y)) et (x ý y) (P ð Q) est équivalent à ( P ou Q) et on effectue la négation de (P ou Q) c est à dire ( P et Q). (P ð Q) est équivalent à ( Q ð P). Etant donné qu il s agit d une forme équivalente, elle doit s exprimer pour les mêmes quantificateurs.

Q4 : Comparaison des résultats des questions 1 et 3 La contraposée est équivalente à l implication de départ. Il est donc normal de retrouver le même résultat en Q1 et Q3, car la négation d une proposition P équivalente à une autre proposition Q, est équivalente à la négation de Q. Exercice A.2.4 Vérifier l exactitude des proposition suivantes formées de 2 propositions P et Q. Penser à modifier les expressions pour se simplifier la vie Q1 Soit : Q ð (P ð Q) (1) ñ Q ð ( P ou Q) ñ Q ou ( P ou Q) ñ ( Q ou Q) ou P (P ð Q) est équivalent à ( P ou Q) Utilisation de la commutativité et de l associativité du ou Or ( Q ou Q) est toujours vraie et (vraie ou?) est toujours vraie. Donc (1) est toujours vraie. Q2 Soit : P ð (P ð Q) (2) ñ P ð ( P ou Q) ñ P ou ( P ou Q) ñ ( p ou P) ou Q ñ P ð Q qui est vrai si P fausse ou si P vrai et Q vrai. Utilisation de la l associativité du ou car (R ou R) est équivalent à R Q3 Soit : P ð (P ou Q) (3) ñ P ou (P ou Q) ñ P ou (P ou Q) ñ ( P ou P) ou Q ñ toujours vrai (voir Q1) Q4 Soit : P ð (P et Q) (4) ñ P ou (P et Q) Ici le plus simple est de faire une table de vérité pour trouver la solution. (on rappelle que l on note vrai = 1 et faux =0) Q P et V F V 1 0 F 0 0 P P et Q ou V F V 1 1 F 1 0 Solution fausse par exemple On voit que (4) est fausse quand Q est fausse. On peut aussi écrire : P ou (P et Q) ñ ( P ou P ) et ( P ou Q) ñ V et ( P ou Q) ñ P ou Q

Q5 Soit : Q ð (P ou Q) (5) ñ Q ou (P ou Q) ñ ( Q ou Q) ou P ñ Toujours vraie (voir Q1) Q6 Soit : P et Q ð Q (6) ñ (P et Q) ou Q ñ ( P ou Q) ou Q ñ P ou ( Q ou Q ) ñ Toujours vrai (voir Q1) Utilisation de la commutativité et de l associativité du ou (P ð Q) est équivalent à ( P ou Q) Utilisation de la l associativité du ou Exercice A.2.5 Soit n É, et P(n) : n 2 est pair ð n est pair (1) Q1 : Utilisation de la contraposée de P(n) pour montrer que (1) est vraie contraposée de (1) ñ n est impair ð n 2 est impair soit n impair, on peut l écrire n = 2 p +1 avec p É On peut ainsi calculer le carré de n : n 2 = (2 p +1) 2 = 4 p 2 + 4 p +1 = 2 (2 p 2 + 2 p) + 1 = 2 k + 1 avec k É n 2 s écrit comme un nombre impair (c en est donc un) CQFD Q2 : raisonnement par l absurde Supposons que n 2 est pair, et que la conclusion est fausse, c est à dire que n est impair. Si n est impair, on a : n 2 n = 4 p 2 + 4 p +1 2 p 1 = 4 p 2 + 2 p = 2 (2 p 2 + p) c est à dire un nombre pair. Or si on fait la différence d un nombre pair avec un nombre impair (n 2 et n par exemple), on obtient un nombre impair (cela se démontre : à vous de jouer). On arrive à la conclusion que (n 2 n) est à la fois pair et impair, ce qui est absurde. On en déduit donc que l hypothèse «n est impair» est fausse, et donc que n est pair. Exercice A.2.6 Soit E un ensemble, et A et B deux sous ensembles de E. Q1 : Montrer que A B = A ñ A B (1) Pour montrer l équivalence, on va montrer la double implication : A B = A ð A B (2) A B ð A B = A (3) a) Démontrons (2) Hyp : A B = A Or on peut ajouter que : (A B) B (4) (Cela peut se démontrer, mais on peut le considérer comme acquis tellement cela dépend de la définition de l inclusion). En remplaçant dans (4) la valeur de A B donnée par Hyp, on obtient : A B On a bien montré que en ayant A B = A, cela implique A B

b) Démontrons (3) Hyp : A B On veut trouver une égalité d ensemble. On va donc travailler par double On rappelle que A = B est équivalent à inclusion, c est à dire : (A B) et (B A) (A B) A (5) A (A B) (6) b1) Démontrer (5) est immédiate car c est une relation du même type que (4) que l on considère admise car triviale. b2) Si A B ñ x A ð (x A) et (x B) Or ((x A) et (x B)) est la définition de x A B. donc si : x A ð x A B ñ A (A B) CQFD car relation (6) Q2 : Montrer que A B = A ñ B A On va utiliser les complémentaires pour répondre à la question. On a : A B = A ñ A )ב B) = Aב ñ Aב Bב = Aב Or, si on utilise la relation (1) démontrée dans Q1, on peut écrire : Bב Aב Aב ñ = Bב Aב ñ B A (voir le cours sur les complémentaires) CQFD Etant donné la pauvreté de Word en ce qui concerne la typographie mathématique, on note ici : complémentaire de A = Aב Exercice A.2.7 Soient A, B, C, trois sous-ensembles de E. On rappelle que A\B = {x A ; x B}. Q1 : Montrer que (A C)\(B C) = (A\B) C Partons du membre de gauche de l égalité : x (A C)\(B C) ñ (x A et x C) et (x B et x C) ñ (x A et x C) et (x B ou x C) ñ (x A et x C et x B) ou (x A et x C et x C) (1) Distributivité du et par rapport au ou Toujours faux car x ne peut pas à la fois être dans C et ne pas être dans C Etant donné que le deuxième terme du ou est faux on a : (1) ñ x A et x C et x B ñ (x A et x B) et x C ñ (A\B) C CQFD N oublions pas que (P ou Faux) est équivalent à P Q2 On pose : A B = (A\B) (B\A) (2) Montrer que : (A B) C = (A C) (B C) On part de la partie gauche de l égalité, et on remplace par sa valeur : (A B) C = ( (A\B) (B\A) ) C ñ (A B) C = ( (A\B) C ) ( (B\A) C ) ñ (A B) C = ( (A C) \ (B C) ) ( (B C) \ (A C) ) ñ (A B) C = (A C) (B C) Distributivité du par rapport au On utilise le résultat de la question 1 On utilise le (2)

Exercice A.2.8 Q1 : Récurrence Montrer que P(n) : n É, 2 n > n est vrai On commence par montrer que la relation est vraie pour un rang donné. On voit aisément que P(0) est vrai (1>0) et P(1) vraie (2>1). Il faut maintenant montrer que si P(n) vraie au rang n, alors on a P(n+1) vraie. On a : 2 n+1 = 2 2 n ð 2 n+1 > 2 n ð 2 n+1 > n + 1 car 2 nã n + 1 dès que n à 1 ñ P(n+1) vraie On utilise le fait que P(n) vraie au rang n, c est à dire que 2 n > n si n à 1 ð n + n à 1 + n On a montré que P(n) vraie au rang 0 et au rang 1, et que P(n) vraie au rang n+1 si P(n) vraie au rang n et que n à 1, alors, on peut affirmer que P(n) vraie n É. Q2 : Récurrence Montrer que P(n) : n à p, n É, p É, 2 n > n 2 est vrai. Ici, on ne connaît pas le rang où on doit commencer la récurrence. Il faut donc le trouver (intuition?). Allons-y à tâtons. Est-ce vrai pour le rang 1 : oui mais restons méfiant ; (il se peut qu apparaissent des contraintes dans le reste de la démo) Est-ce vrai pour le rang 2 : non (2 2 > 2 2?) Est-ce vrai pour le rang 3 : non (2 3 > 3 2?) Est-ce vrai pour le rang 4 : non (2 4 > 4 2?) Est-ce vrai pour le rang 5 : oui (2 5 > 5 2?) Il faut maintenant montrer que si P(n) vraie au rang n, alors on a P(n+1) vraie. On a : 2 n+1 = 2 2 n ð 2 n+1 > 2 n 2 Il faut maintenant comparer 2 n 2 avec (n + 1) 2, ce qui revient à étudier le signe d un trinôme : 2 n 2 > n 2 + 2 n + 1? (1) 2 x 2 > x 2 + 2 x + 1 ñ x 2-2 x - 1 > 0 Le coefficient du terme n 2 étant positif, cela est vrai à l extérieur des racines du polynôme. On a : = 1 2 1 (-1) = 2 ð x 1 = 1 + 2 ; x 2 = 1-2 ð n à 3 pour que (1) soit vrai Ce dernier résultat explique pourquoi il fallait être prudent avec P(1) vraie (1<3). On utilise le fait que P(n) vraie au rang n, c est à dire que 2 n > n 2 On a montré que P(n) vraie au rang 5, et que P(n) vraie au rang n+1 si P(n) vraie au rang n et que n à 5 (en fait 3, mais comme seul P(5) est vraie ), alors, on peut affirmer que P(n) vraie n à 5. Exercice A.2.9 Q1 : négation de proposition On ne s éternisera pas sur l obtention des solutions : voir exercice 1 a) ( x E, P(x) ) ñ x E, P(x) b) ( x E, P(x) ) ñ x E, P(x) c) (!x E, P(x) ) ñ ( x E, P(x) ) ou ( x E, y E, x ý y et P(x) et P(y)) Q2 : négation de proposition, avec f une application de Ë dans Ë a) ( x Ë, f(x) à 2 ) ñ x Ë, f(x) < 2 b) ( x à 2, f(x) à 2 ) ñ x à 2, f(x) < 2 c) ( x  2, f(x)  2 ) ñ x  2, f(x) > 2 d) (!x Ë, f(x) = 2 ) ñ ( x E, f(x) ý 2 ) ou ( x Ë, y Ë, x ý y et f(x) = f(y) = 2) Les liens logiques sont : a) ð b)

Exercice A.2.10 On cherche à déterminer la véracité des proposition suivantes : Q1 : x Ë, y Ë, x + y = 0 Pour montrer l existence d un élément, il suffit de l exhiber. Si on pose y = -x (qui peut s écrire pour tout x), on obtient le résultat voulu : donc la proposition est vraie. Q2 : y Ë, x Ë, x + y = 0 Il n existe pas de réel, tel que en y ajoutant n importe quel réel, on obtienne 0. Si cela ne vous parait pas logique, on peut aussi montrer que la négation de cette proposition est toujours vraie ( y Ë, x Ë, x + y ý 0 ; ce qui est simple car il suffit de trouver x qui répond à la question), ce qui montre que la proposition est toujours fausse. Q3 : x Ë, y Ë, x y = 1 Cette proposition est fausse car il existe un x pour lequel elle est fausse (on demande x Ë) ; il s agit de x = 0 pour lequel on ne sait pas calculer 1/x. Q4 : y Ë, x Ë, x y = 1 Effectuons la négation de cette proposition : ( y Ë, x Ë, x y = 1 ) ñ y Ë, x Ë, x y ý 1 Cette proposition est toujours vrai ; il suffit de prendre x = 2 / y si y ý 0 et x = 1 si y = 0. Cela prouve que la proposition de départ est toujours fausse (puisque sa négation est toujours vraie). Q5 : y Ë, x Ë, x + y = x Il suffit de choisir y = 0 et on a trouvé notre y. Exercice A.2.11 Q1 a) Soient P(x) et Q(x) deux propriétés des éléments de Ë. i. x Ë, (P(x) ou Q(x) ) ii. ( x Ë, P(x) ) ou ( x Ë, Q(x) ) Qui implique qui? En fait, c est la proposition (ii) qui implique la proposition (i). Pour cela, il faut visualiser que si (ii) est vrai, soit tous les réel vérifie P, soit tous les réel vérifie Q (il peut aussi y en avoir qui vérifie à la fois P et Q), et donc, on est sur qu un réel quelconque vérifie soit P soit Q. On peut aussi écrire : ( x Ë, P(x) ) ou ( x Ë, Q(x) ) ð ( x Ë, P(x) ou Q(x) ) ou ( x Ë, Q(x) ou P(x) ) ð ( x Ë, P(x) ou Q(x) ) si La première proposition est vrai, par exemple, on peut lui faire un «ou» avec n importe quoi ; idem pour Q b) P(x) : x à 0 Q(x) : x  1999 On voit que i est vrai et que (ii) est fausse ; donc c est un exemple qui montre que (i) n implique pas (ii). Q2 a) Soient P(x) et Q(x) deux propriétés des éléments de Ë. i. x Ë, (P(x) et Q(x) ) ii. ( a Ë, P(a) ) et ( b Ë, Q(b) ) Qui implique qui? On a i ð ii. En effet, si i est vrai, alors il existe un réel x pour lequel P(x) et Q(x) sont vraies en même temps, et en posant a = b = x, ii est vraie.

b) Prenons par exemple : P(x) : x > 0 Q(x) : x < 0 i est fausse et ii est vraie. c est un exemple qui montre que ii n implique pas i. c) Soient P(x) et Q(x) deux propriétés des éléments de Ë. i. x Ë, (P(x) et Q(x) ) ii. ( x Ë, P(x) ) et ( x Ë, Q(x) ) sont-elles équivalentes? NON car ( x Ë, P(x) ) est identique à ( a Ë, P(a) ) car x est une variable muette ; on a donc les mêmes propositions que dans a). Q3 Soient P(x) et Q(x) deux propriétés des éléments de Ë. (a) x Ë, (P(x) et Q(x) ) (b) ( x Ë, P(x) ) et ( x Ë, Q(x) ) sont-elles équivalentes? On travaille par double implication. 1) (a) ð (b) x Ë, (P(x) et Q(x) ) ð x 1 Ë, (P(x) et Q(x) ) et x 2 Ë, (P(x) et Q(x) ) ð x 1 Ë, P(x) et x 1 Ë, Q(x) et x 2 Ë, P(x) et x 2 Ë, Q(x) ð x 1 Ë, P(x) et x 2 Ë, Q(x) ð ( x Ë, P(x) ) et ( x Ë, Q(x) ) si une proposition est vraie, on peut l associer à une autre proposition vraie par un et et cela reste vrai. si on supprime des éléments d un et vrai, ce qui reste est vrai 2) (b) ð (a) soit x 1 quelconque et x 2 quelconque ð pour x 1, P(x) et pour x 2, Q(x) (d après l hypothèse (b)) Posons x 1 = x 2 alors : pour x 1, P(x) et pour x 1, Q(x) ð x Ë, (P(x) et Q(x) ) Q4 Soient P(x) et Q(x) deux propriétés des éléments de Ë. Montrer que : x Ë, (P(x) ou Q(x) ) ð ( x Ë, P(x) ) ou ( x Ë, Q(x) ) Notons A l ensemble des x tels que P(x) est vraie. Notons B l ensemble des x tels que Q(x) est vraie. Alors B est au moins égal au complémentaire de A dans Ë union une partie de A (la partie gauche de l implication nous dit que quelque soit x on va avoir soit P(x) vraie soit Q(x) vraie, mais il n y a pas de «trou» ; par contre, on peut avoir P(x) et Q(x) pour le même x, d où l union qui apparaît dans B). Donc, si x Ë, (P(x) ou Q(x) ) vraie ð x A, P(x) vraie ð x A, P(x) ou x Ë, Q(x) vraie De plus, si x A, P(x) faux, mais alors x B et donc Q(x) vraie, ce que l on peut écrire : x Ë, Q(x) vraie. A cette valeur vraie, on peut ajouter ce qu on veut par un ou. On a donc : si x A, x Ë, Q(x) ou ( x Ë, P(x) ) vraie A quelque chose de vrai, on peut ajouter ce qu on veut par un ou, cela reste vrai. Ayant balayé l appartenance de x à A et l appartenance de x au complémentaire de A, avec comme hypothèse x Ë, (P(x) ou Q(x) ), on a balayé tout Ë. Dans les deux cas, on trouve la même conclusion x Ë, Q(x) ou ( x Ë, P(x) ) Donc on peut en déduire : x Ë, (P(x) ou Q(x) ) ð ( x Ë, P(x) ) ou ( x Ë, Q(x) )