Logique
Commentaires : Les tables de vérité sont au programme mais ne sont pas exigibles en
évaluation.
Exercice
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
Soit f et g deux fonctions de dans . Traduire en termes de quantificateurs les
expressions suivantes :
3) f n’est pas la fonction
nulle.
6) f n’est pas inférieure à g.
Exercice
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
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
Traduire en langage courant les propositions suivantes :
1-
,
,
2-
,
,
xy=z
3-
+,
+,
, xy>z
4-
n ∈
x ∈ |x|
n.
Ces propositions sont-elles vraies ?
Nier chacune de ces propositions à l’aide des quantificateurs.
Exercice
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
Dire si les affirmations suivantes sont vraies puis écrire leurs négations.
a-
,
, x+y>0
b-
,
, x+y>0