Logique
Commentaires : Les tables de vérité sont au programme mais ne sont pas exigibles en
évaluation.
Exercice
1.
Ecrire la négation des phrases suivantes :
1- Adrian va à la plage ou au tennis.
2- Paul a un pantalon rouge et un chapeau bleu.
3- S’il neige, alors je fais du ski.
4- John est heureux si et seulement s’il fait de la logique.
Exercice
2.
Soit f et g deux fonctions de dans . Traduire en termes de quantificateurs les
expressions suivantes :
1) f est majorée.
2) f ne s’annule jamais.
3) f n’est pas la fonction
nulle.
4) f est paire.
5) f est inférieure à g.
6) f n’est pas inférieure à g.
Exercice
3.
Traduire en langage mathématique, en utilisant les quantificateurs existentiel et
universel, les phrases suivantes :
(i) Tout nombre réel positif inférieur à 1 vérifie x2
x.
(ii) Pour tout x réel, il existe n entier naturel strictement supérieur à x.
(iii) Entre deux nombres réels distincts, on peut trouver un nombre rationnel.
(iv) Tout entier divisible par 3 est impair
(v) Le nombre 2 n’est le sinus d’aucun nombre.
Exercice
4.
Soit x
f(x) une fonction de la variable réelle x. On dit que f est une fonction
croissante sur Df si pour tout x et x’ appartenant à Df, si x > x’ alors f(x)
f(x’).
Écrire mathématiquement que f est une fonction croissante. Nier cette proposition.
Exercice
5.
Traduire en langage courant les propositions suivantes :
1-
x
,
,
xy
2-
x
,
y
,
z
xy=z
3-
x
+,
+,
z
, xy>z
4-
n
x |x|
n.
Ces propositions sont-elles vraies ?
Nier chacune de ces propositions à l’aide des quantificateurs.
Exercice
6.
Soit f une fonction de dans . Ecrire les négations des propositions suivantes :
1- Pour tout x>2, f(x)<1.
2- Il existe x réel positif tel que f(x)<0.
3- Si x est élément de [3, 4], alors f(x)<4x².
Exercice
7.
Dire si les affirmations suivantes sont vraies puis écrire leurs négations.
a-
,
, x+y>0
b-
x
,
y
, x+y>0
c-
x
,
, x+y>0
d-
,
y
, x+y>0
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !