Négation de ∃
∀
Négation de =
≠
Négation de ≤
>
Négation de “et”
“ou”
Négation de ∃p∈Z, p ≤ 𝑥 ≤ p+1
∀p∈Z, p>𝑥 ou x>p+1
Paire ?
Symétrique axe ordonnées
2k (multiple de 2)
∀𝑥∈R, f(-𝑥) = f(𝑥)
Impaire ?
Symétrique origine du repère
∀𝑥∈R, f(-𝑥) = - f(𝑥)
Périodique de période T ?
∃T>0,∀𝑥∈R, f(𝑥) = f(𝑥+T)
La période d’une fonction n’est pas unique (f est autant T-périodique que 2T-périodique)
Quelles fonctions sont périodiques et bornées ?
Les fonctions constantes
Sin et cos :
- 2π -périodiques
-∀𝑥∈R, -1 ≤ 𝑥 ≤ 1
Croissante ?
Respecte l’ordre
∀𝑥∈R, ∀y∈R, 𝑥 ≤ y ⇒ f(𝑥) ≤ f(y)
Décroissante ?
Inverse l’ordre
∀𝑥∈R, ∀y∈R, 𝑥 ≤ y ⇒ f(𝑥) ⩾ f(y)
Strictement croissante ?
∀𝑥∈R, ∀y∈R, 𝑥 < y ⇒ f(𝑥) < f(y)
Strictement décroissante ?
∀𝑥∈R, ∀y∈R, 𝑥 < y ⇒ f(𝑥) > f(y)
Monotone ?
Croissante ou décroissante
𝑥 –> 𝑥
𝑥 –> exponentiel
Non monotone ?
Ni croissante, ni décroissante
Sin et cos
𝑥 –> 𝑥 au carré
Antécédent
𝑥
Sur l’axe des abscisse
f(2) est l’antécédent de 2
Image
y, f(𝑥)
Sur l’axe des ordonnées
ex: image de 2 -> f(2)=…
P ⇒ Q
P,Q deux assertions/propositions logiques qui prenne la valeur logique Vraie ou Faux
P ⇒ Q (l’implication) est vraie quel que soit la valeur logique de P
Négation de P ⇒ Q
P et (non Q)
Utile pour montrer qu’une implication est fausse (lorsque sa négation est vraie)
Contraposée de P ⇒ Q
(non P) ⇒ (non Q)
Une implication et sa contraposée sont toutes les deux vraies ou toutes les deux fausses.
Réciproque de P ⇒ Q
Q ⇒ P
Conditions de P et de Q lorsque implication
A la réalisation de P ⇒ Q
P est la condition suffisante
Q est la condition nécessaire
P ⇔ Q
P et Q sont des conditions nécessaires et suffisantes
P ⇒ Q et Q ⇒ P
P et Q prennent la même valeur logique