Feuille de TD 5 : Logique
Transcription
Feuille de TD 5 : Logique
Feuille de TD 5 : Logique 5.1 Tautologies, connecteurs Exercice 5.1 K Établir la table de vérité de chacune des assertions suivantes, en fonction des valeurs de vérité des propositions P , Q, et R : 1. (P ∨ (Q ∧ R)) ∧ (Q ∨ R) 2. (Q ⇒ P ) ∧ ¬(P ⇔ Q) ∧ R ∧ ¬P Exercice 5.2 K Parmi les assertions suivantes, lesquelles sont des tautologies ? (p, q, r sont des assertions) 1. p ⇒ (q ⇒ p) 2. ((p ⇒ q) ⇒ p) ⇒ p 3. ((p ∨ q) ∧ ¬p) ⇒ q 4. ((p ∧ ¬q) ⇒ r) ⇒ q Exercice 5.3 K Les assertions P ⇒ Q, Q ⇒ P sont-elles vraies dans les cas suivants : 1. P : n est un multiple de 12 ; Q : n est un multiple de 2 et de 6. 2. P : ABCD est un parallèlogramme ; Q : [AC] et [BD] ont même milieu. 3. P : ABCD est un parallèlogramme ; Q : (AB) et (CD) sont parallèles. 4. P : xy est pair ; Q : x est pair ou y est pair. (x et y étant deux entiers naturels) Exercice 5.4 KK On introduit un nouveau connecteur logique, le nini, noté ↓, correspondant à l’expression française ¿ ni...ni À. Ainsi A ↓ B se lit ¿ ni A ni B À, et équivaut par définition à ¬A ∧ ¬B. Le nini peut donc s’exprimer à l’aide de la négation et de la conjonction. Le but de l’exercice est de montrer que réciproquement, tous les connecteurs logiques peuvent s’exprimer à l’aide du nini. On conseille de suivre l’ordre des questions 1. Montrer que la négation peut s’exprimer à l’aide du nini, c’est-à-dire que ¬A équivaut à une assertion formée à partir de A et de ↓. 2. Montrer que la disjonction peut s’exprimer à l’aide du nini. Indication : considérer ¬(A ↓ B). 3. Exprimer la conjonction à l’aide du nini. 4. Exprimer l’implication à l’aide du nini. 5.2 Quantificateurs Exercice 5.5 K P (x) et Q(x, y) sont des assertions, E et F des ensembles. Compléter. 1. ¬(∃x ∈ E, P (x)) ⇔ ( ) 2. ¬(∃x ∈ E, ∀y ∈ F, Q(x, y)) ⇔ ( ) 3. ¬(∀x ∈ E, P (x) ⇒ Q(x)) ⇔ ( ) Exercice 5.6 KK Soit f une fonction de R dans R. Écrire avec des quantificateurs chacune des propositions suivantes : 1 1. f est la fonction nulle. 2. f s’annule au moins une fois. 3. f n’est pas la fonction nulle. 4. f est paire ou impaire. 5. f n’est ni paire ni impaire. 6. f est périodique. 7. f n’est pas périodique. Exercice 5.7 K Soit (un ) une suite réelle. Écrire avec des quantificateurs la propriété : (un ) est monotone. Exercice 5.8 K Soit E un ensemble, A(x) et B(x) deux propositions concernant l’élément x de E. Déterminer les implications ou équivalences reliant les propositions P et Q dans les cas suivants, et donner des exemples concrets : 1. P : ∀x ∈ E, (A(x) ou B(x)) ; Q : (∀x ∈ E, A(x)) ou (∀x ∈ E, B(x)) 2. P : ∀x ∈ E, (A(x) et B(x)) ; Q : (∀x ∈ E, A(x)) et (∀x ∈ E, B(x)) 3. P : ∃x ∈ E, (A(x) ou B(x)) ; Q : (∃x ∈ E, A(x)) ou (∃x ∈ E, B(x)) 4. P : ∃x ∈ E, (A(x) et B(x)) ; Q : (∃x ∈ E, A(x)) et (∃x ∈ E, B(x)) Exercice 5.9 K Soit un tiroir ne contenant que des caleçons ou des chaussettes. Chaque sousvêtement est soit noir soit blanc. Parmi les assertions suivantes, existe t-il des implications ? des équivalences ? des contraires ? 1. Toutes les chaussettes sont blanches. 2. Tous les caleçons sont noirs. 3. Un caleçon est noir. 4. Une chaussette est noire. 5. Tous les sous-vêtements blancs sont des chaussettes. Prendre la négation de chacune de ces assertions, en l’exprimer le plus simplement possible. Exercice 5.10 KK On rappelle qu’une fonction f : R → R est dite continue en x0 ssi : ∀² > 0, ∃δ > 0, ∀x ∈ R, |x − x0 | < δ ⇒ |f (x) − f (x0 )| < ² On dira qu’une fonction est eunitnoc en x0 ssi : ∃δ > 0, ∀² > 0, ∀x ∈ R, |x − x0 | < δ ⇒ |f (x) − f (x0 )| < ² Qu’est-ce qu’une fonction eunitnoc en x0 ? 2 5.3 Raisonnements Exercice 5.11 K Analyser la forme des raisonnements suivants. Lesquelles sont valides ? −−→ −−→ −−→ −−→ 1. On sait que si (AB) ⊥ (CD) alors AB.CD = 0. Donc, comme AB.CD = 1 − 1 = 0, on en déduit que (AB) ⊥ (CD). 2. On sait que dans un tube à vide, la bille de plomb et la plume vont tomber simultanément dans le champ de gravitation. Or on a constaté que la plume tombait plus lentement, on en déduit que le tube n’est pas vide. 3. On sait que s’il existe une unique solution au système, son déterminant est non-nul. Or il n’existe aucune solution, donc son déterminant est nul. 4. Dialogue entendu à la radio : ¿ -Voyez-vous je n’aime pas ce qui est consensuel. À ¿ -Alors vous avez dû adorer ce livre car il n’est pas du tout consensuel ! À Exercice 5.12 K Le raisonnement suivant est-il valide ? 0 ¿ Il existe une unique rotation qui envoie la figure R sur la figure R , et une unique homothétie 0 00 qui envoie R sur R . Donc il existe une unique similitude qui envoie R sur R00 . À Même question avec : ¿ Il existe un unique vol entre Paris et Tombouctou. Il existe un unique vol entre Tombouctou et Kinshasa. Donc il existe un unique vol entre Paris et Kinshasa. À Exercice 5.13 K À la question : ¿ Montrer que toute fonction se décompose de façon unique en somme d’une fonction paire et d’une fonction impaire. À, un étudiant a répondu : Soit f une fonction. Si f = p + i avec p paire et i impaire, alors f (−x) = p(−x) + i(−x) = p(x) − i(x), donc f (x) + f (−x) = 2p(x) et f (x) − f (−x) = 2i(x). Or p est paire, et i impaire et f = p + i. De plus p et i sont uniques car f (x) et f (−x) sont uniques. À ¿ Noter ce raisonnement sur 4 points en motivant votre évaluation. Exercice 5.14 K Quelle est l’erreur dans le raisonnement suivant ? ¿ Deux points sont toujours alignés. Soit n un entier supérieur à 2. Supposons que l’on ait montré que n points du plan sont toujours alignés. Prenons alors n + 1 points dans le plan : A1 , A2 , . . . , An+1 . Alors les points A1 , . . . , An sont alignés sur une droite d d’après l’hypothèse de récurrence, de même que A2 , . . . , An+1 , puisqu’il y a n points, sont alignés sur une droite d0 . Mais les droites d et d0 sont les mêmes puisqu’elles ont les points A2 , . . . , An en commun. Donc les n + 1 points sont alignés. Conclusion : tous les points du plan sont alignés. À Exercice 5.15 K Montrer par récurrence sur n les propriétés suivantes : Pn n(n+1) 1. ∀n ∈ N∗ , k=1 k = 2 Pn 1 3n 2. ∀n ∈ N∗ , ≥ k=1 k2 2n+1 3. ∀n ∈ N, 32n − 2n est divisible par 7 4. ∀n ∈ N, n ≥ 4, 2n ≥ n2 3