mathématiques (PCSI) · Chapitre 1 · Application directe du cours

Négation d'assertions quantifiées

Raisonnement et vocabulaire ensembliste · B. Quantificateurs et négations · niveau 1 (application)

Énoncé

Donner la négation des assertions suivantes :

$P_{1} : \forall x \in R, x^{2} \geq 0$
$P_{2} : \exists x \in R, cos (x) = x$
$P_{3} : \forall ϵ > 0, \exists δ > 0, \forall x \in R, ∣ x ∣ < δ \Rightarrow ∣ f (x) ∣ < ϵ$

Corrigé

Par application systématique des règles de négation des quantificateurs et connecteurs (sachant que $\neg (A \Rightarrow B) \Leftrightarrow A \land \neg B$ ) :

$\neg P_{1} : \exists x \in R, x^{2} < 0$
$\neg P_{2} : \forall x \in R, cos (x) \neq = x$
$\neg P_{3} : \exists ϵ > 0, \forall δ > 0, \exists x \in R, ∣ x ∣ < δ \land ∣ f (x) ∣ \geq ϵ$

Exercices semblables

Table de vérité d'une implication corrigé
Propriétés algébriques de la fonction indicatrice corrigé
Division euclidienne corrigé
Raisonnement par analyse-synthèse corrigé
Trois assertions ensemblistes, quantifiées puis niées corrigé

Le cours du chapitre · Tous les exercices du chapitre