exo7 120

Soient \(f,g\) deux fonctions de \(\Rr\) dans \(\Rr\). Traduire en termes de quantificateurs les expressions suivantes :

1

\(f\) est majorée;

2

\(f\) est bornée;

3

\(f\) est paire;

4

\(f\) est impaire;

5

\(f\) ne s’annule jamais;

6

\(f\) est périodique;

7

\(f\) est croissante;

8

\(f\) est strictement décroissante;

9

\(f\) n’est pas la fonction nulle;

10

\(f\) n’a jamais les mêmes valeurs en deux points distincts;

11

\(f\) atteint toutes les valeurs de \(\Nn\);

12

\(f\) est inférieure à \(g\);

13

\(f\) n’est pas inférieure à \(g\).