Les exercices
Exercice 1 - Négation d'une proposition
Quelle est la négation des propositions suivantes?
- $n$ est un nombre entier impair
- $x>-1$
- $f$ est croissante sur $\R$
- Tous les parallélogrammes sont des losanges
- $x \in [-3;2]$
- La carte tirée est un roi ou coeur
- $n$ n'est pas un nombre entier impair
- $x \leq -1$
- $f$ n'est pas croissante sur $\mathbb{R}$
- Il existe des parallélogrammes qui ne sont pas des losanges
- $x \notin [-3;2]$
- La carte tirée n'est ni un roi ni un cœur
Exercice 2 - Les connecteurs ET et OU
Dans chaque situation, P et Q sont deux propositions. Indiquer si les propositions formées avec ET/OU sont vraies ou fausses.
- $P$: "$n$ est divisible par 4", $Q$: "$n$ est pair".
Si $n=54$ alors "$P$ et $Q$" est: - $P$: "$x$ est un entier", $Q$: "$x$ est négatif".
Si $x=3$ alors "$P$ ou $Q$" est: - $P$: "$x$ est un entier", $Q$: "$x$ est négatif".
Si $x=3$ alors "$P$ ou $Q$" est:
Exercice 3 - Implication, réciproque et équivalence
Dans chaque situation, indiquer si A implique B, B implique A ou si A et B sont équivalentes.
- $A$: "n est impair" et $B$: "n est premier"
- $A$: "$|2x-1|\leq 4$" et $B$: "$-\frac{3}{2}\leq x \leq \frac{5}{2}$"
- $A$: "$x^2=a^2$" et $B$: "$x=a$"
- $A$: "n est divisible par 4" et $B$: "n est pair"
Exercice 4 - Donner l'énoncé une contraposée
Ecrire chacun de ces 2 théorèmes sous forme d'implication puis énoncer leur contraposée.
- Théorème de Pythagore
- Théorème de Thalès
Exercice 5 - Raisonner par disjonction des cas (1)
Prouver les 2 propositions suivantes par disjonction de cas.
- Pour tout réel $x$, $x^2$ est positif.
- Le produit de 2 entiers consécutif est pair.
Exercice 6 - Démonstration par contraposée
Prouver les 2 propositions suivantes par contraposée.
- Si $n^2$ est pair alors $n$ est pair.
- Si $n$ est premier alors $n=2$ ou $n$ est impair.