Devoir No1, MAT3223

Hiver 2015

Par E. Kengne

Les cinq exercices sont indpendents

Exercice I. Pour chacune des propositions suivantes, construire la

table de vrit et en dduire sil sagit dune tautologie ou d,une contradiction:
1)
(p q) (p q)

2)
[p (q r)] [(p q) (q r)] .
Exercice II. Montrer que si a N, alors n N, lentier (a + 1)n+1
a (n + 1) 1 est un multiple de a2 .
Exercice III. Montrer quun nombre entier qui est la fois divisible
6 et par 8 nest pas forcement divisible par 48.
Exercice IV. Soit f (x) une fonction dnie sur un ensemble E et
soit x0 E. La traduction en langage logique de la phrase f (x) est
continue au point x0 est

> 0, > 0 : x E, |x x0 | < |f(x) f(x0 )| < .

Donner la traduction en langage logique de la phrase f (x) nest continue au point x0
Exercice V. Soit f(x) une fonction dnie sur un ensemble E.
Donner la ngation de la dnition suivante:

Denition 1 On dira que la fonction f (x) est continue sur lensemble

E si
x E, > 0, > 0 : x E, y E, |x y| < |f(x) f(y)| < .
Remarque: La ngation de la proposition f(x) est continue sur
E est la proposition f (x) nest pas continue sur E.
1/1