[http://mp.cpgedupuydelome.fr] édité le 3 juillet 2012 Enoncés 1
Ensembles et applications
Eléments de logique
Exercice 1 [ 01481 ] [correction]
Décrire les parties de Rdans lesquelles évoluent xpour que les assertions
suivantes soient vraies :
a) (x > 0et x < 1) ou x= 0 b) x > 3et x < 5et x6= 4
c) (x60et x > 1) ou x= 4 d) x>0⇒x>2.
Exercice 2 [ 01482 ] [correction]
Etant donné P,Qet Rtrois assertions, vérifier en dressant la table de vérité :
a) Pou (Qet R)∼(Pou Q)et (Pou R)
b) non(P⇒Q)∼Pet non(Q).
Exercice 3 [ 01483 ] [correction]
On dispose de neuf billes visuellement identiques, huit d’entre elles ont même
masse mais la neuvième est plus lourde. Comment, en deux pesées sur une
balance à deux plateaux, peut-on démasquer l’intrus ?
Exercice 4 [ 01484 ] [correction]
On dispose de neuf billes visuellement identiques, elles ont toutes la même masse
sauf une.
Comment, à l’aide d’une balance à deux plateaux, démasquer l’intrus en trois
pesées ?
Quantificateurs
Exercice 5 [ 01485 ] [correction]
Soient Iun intervalle de Ret f:I→Rune fonction définie sur Ià valeurs réelles.
Exprimer verbalement la signification des assertions suivantes :
a) ∃C∈R,∀x∈I, f(x) = C
b) ∀x∈I, f(x)=0⇒x= 0
c) ∀y∈R,∃x∈I, f(x) = y
d) ∀x, y ∈I, x 6y⇒f(x)6f(y)
e) ∀x, y ∈I, f(x) = f(y)⇒x=y.
Exercice 6 [ 01486 ] [correction]
Soient Iun intervalle de Ret f:I→Rune fonction définie sur Ià valeurs réelles.
Exprimer à l’aide de quantificateurs les assertions suivantes :
a) la fonction fs’annule
b) la fonction fest la fonction nulle
c) fn’est pas une fonction constante
d) fne prend jamais deux fois la même valeur
e) la fonction fprésente un minimum
f) fprend des valeurs arbitrairement grandes
g) fne peut s’annuler qu’une seule fois.
Exercice 7 [ 01487 ] [correction]
Soient Iun intervalle de Rnon vide et f:I→Rune fonction à valeurs réelles
définie sur I.
Exprimer les négations des assertions suivantes :
a) ∀x∈I, f(x)6= 0
b) ∀y∈R,∃x∈I, f(x) = y
c) ∃M∈R,∀x∈I, |f(x)|6M
d) ∀x, y ∈I, x 6y⇒f(x)6f(y)
e) ∀x, y ∈I, f(x) = f(y)⇒x=y
f) ∀x∈I, f(x)>0⇒x60.
Exercice 8 [ 01488 ] [correction]
Soit f:R→R. Quelle différence de sens ont les deux assertions proposées :
a) ∀x∈R,∃y∈R, y =f(x)et ∃y∈R,∀x∈R, y =f(x).
b) ∀y∈R,∃x∈R, y =f(x)et ∃x∈R,∀y∈R, y =f(x).
c) ∀x∈R,∃M∈R, f(x)6Met ∃M∈R,∀x∈R, f(x)6M?
Exercice 9 [ 01489 ] [correction]
Soit f:R→Rune fonction continue.
On considère les assertions suivantes :
P: « ∀x∈R, f(x)=0», Q: « ∃x∈R, f(x)=0»et
R: « (∀x∈R, f(x)>0) ou (∀x∈R, f(x)<0) ».
Parmi les implications suivantes lesquelles sont exactes :
a) P⇒Qb) Q⇒Pc) Q⇒R
d) non(R)⇒Qe) non(Q)⇒non(P)f) non(P)⇒non(R)?
Diffusion autorisée à titre entièrement gratuit uniquement - dD