Scribd
Importer
43 vues1 page

Exercices de logique et de fonctions mathématiques

Le document présente plusieurs exercices de mathématiques, incluant la démonstration que n² - n est pair, l'évaluation de la véracité de quatre assertions sur les réels et leur négation, ainsi que la traduction d'expressions concernant des fonctions en termes de quantificateurs. Il demande également la négation de certaines assertions liées aux triangles et aux relations entre détenus et gardiens. Ces exercices portent sur des concepts fondamentaux en logique et en analyse mathématique.

Transféré par

raharitianajeanfabio
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd
43 vues1 page

Exercices de logique et de fonctions mathématiques

Le document présente plusieurs exercices de mathématiques, incluant la démonstration que n² - n est pair, l'évaluation de la véracité de quatre assertions sur les réels et leur négation, ainsi que la traduction d'expressions concernant des fonctions en termes de quantificateurs. Il demande également la négation de certaines assertions liées aux triangles et aux relations entre détenus et gardiens. Ces exercices portent sur des concepts fondamentaux en logique et en analyse mathématique.

Transféré par

raharitianajeanfabio
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd

Exercice 1

Soit n ∈ N*
Démontrer que n² - n est pair.
Exercice 2
Soient les quatre assertions suivantes :
(a) ∃x ∈ R, ∀y ∈ R, x + y > 0
(b) ∀x ∈ R, ∃y ∈ R, x + y > 0
(c) ∀x ∈ R, ∀y ∈ R, x + y > 0
(d) ∃x ∈ R, ∀y ∈ R, y² > x

1) Les assertions a, b, c, d sont-elles vraies ou fausses ?


2) Donner leur négation.
Exercice 3
Soient f ; g deux fonctions de R dans R. 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 est inférieure à g ;
12) f n’est pas inférieure à g.
Exercice 4.
Enoncer la négation des assertions suivantes :
1) Tout triangle rectangle possède un angle droit
2) Dans toutes les prisons tous les détenus détestent tous les gardiens
3) Pour tout entier x il existe un entier y tel que pour tout entier z la relation z < y implique la
relation z < x + 1.

Vous aimerez peut-être aussi