Vous êtes sur la page 1sur 1

TD1: Logique et ensembles

Universit Mohamed 1er FST - Al Hoceima Feuille1

1re anne MIP - Analyse S1 - 2013/2014 Prof. Nae Jamal Absurde

Exercice 1 f tant une fonction de R dans R. Exprimer laide des quanticateurs les phrases suivantes puis donner leur ngation. 1. f est une fonction nulle. 2. f a au moins un point xe. 3. f nest pas la fonction nulle. 4. f atteint toutes les valeurs de N 5. f est priodique. 6. f est dcroissante. sur R. 7. f est borne sur R. Exercice 2 Soient les 4 assertions suivantes : p : x R y R x + y > 0 q : x R y R x + y > 0 r : x R y R x + y > 0 s : x R y R y2 > x 1. Les assertions p, q, r, s sont-elles vraies ou fausses ? 2. Donner leur ngation.

Quanticateurs: ;

Types de raisonnement
Exercice 6 Montrer par labsurde: 1. Si n N est un multiple de 10, n est aussi un multiple de 2. 2. Si > 0 ; a alors a 0 3. 3 + 2 nest pas un rationnel. 4. Lquation 2x7 4x4 + 2x + 3 = 0 na pas de solution entire. Exercice 7 Contrapose

1. Soit A, B R. Montrer que: ( > 0 ; A < B + A B). 2. Montrer que: (x = y) (x + 1)(y 1) = (x 1)(y + 1) Exercice 8 Contre exemple Montrer que les propositions suivantes sont fausses. 1. n N ; 2n + 3n est un nombre premier. 2. (x R)(y R) ; y2 + xy + 1 = 0 Exercice 9 . Disjonction des cas 1. tablir que (a, b) R2 on a: ) 1( max(a, b) = a + b+ | a b | 2 ) 1( min(a, b) = a + b | a b | 2 2. montrer que si a est un rel non nul tel que | x a |<| a | alors x et a sont deux rels de mme signe. Exercice 10 Montrer par rcurrence: 1. Pour tout rel q = 1,
2 n

Oprations logiques
Exercice 3 Tautologies Montrer que les assertions suivantes sont des tautologies. Prciser lintrt de chacune. (p q) (q p) (1) [(p q) (q r)] (p r) (2) [(p q) (q r)] (p r) (3) p [p (q q)] (4) [(p r) (q r)] [(p q) r] (5) Exercice 4 On note p, q, r et s des propositions donnes. 1. Vrier que: p (q r) (p q) (p r) . 2. Trouver une proposition quivalente : (p q) (r s) 3. { Application: rsoudre dans R2 le systme: (x 1)(y 2) = 0 (x 3)(y 4) = 0 Exercice 5 NAND On dnit le connecteur logique not Nand par: Nand(p, q) (p q). 1. crire la table de vrit de Nand 2. Exprimer p en fonction de Nand 3. Exprimer et en fonction de Nand 4. Exprimer ou en fonction de Nand 5. Exprimer en fonction de Nand

Rcurrence

1 qn+1 1 + q + q + + q = 1q n2 (n + 1)2 2

2. n N , 13 + 23 + + n3 = 3. n N , 9 divise 10n 1 4. x R, n N , | sin(nx) |

n | sin x |

Exercice 11 On rappelle que si E est un ensemble ni, alors le nombre de ses lments sappelle le cardinal de E et on le note card(E) =| E |. Montrer que si card(E) = n, alors card(P(E)) = 2n