Vous êtes sur la page 1sur 2

Universit dAlger I - Facult des Sciences Module: Algbre I - Maths-info

Srie n 1
Logique et raisonnement
Exercice 1
(Loi de Morgan) Soit A, B et C trois propositions. Dmontrer en utilisant la table
de vrit que les propositions "A ^ (B _ C)" et "(A ^ B) _ (A ^ C)" sont quivalentes.
Exercice 2
En utilisant les tables de vrit, simplier lexperssion:
R = P ^ Q _ P ^ Q _ (P ^ Q)
Exercice 3
Montrer que les assertions (P ^Q) ) P; P ) (P _Q); P _(P ) Q) et P ) (Q ) P )
sont des tautologies (i.e. toujours vraies).
Exercice 4
Montrer que si dans une thorie une proprit P est contradictoire, cest--dire si P
^ P est vraie, alors Q ^ Q est vraie pour toute proprit Q:
Indication: Vrier que R = P ) (P ) Q) est une tautologie
Exercice 5
Dterminer parmi les propositions suivantes lesquelles sont vraies:
1) 136 est un multiple de 17 et 2 divise 167.
2) 136 est un multiple de 17 ou 2 divise 167.
3) 9x 2 R; (x + 1 = 0 et x + 2 = 0).
4) (9x 2 R; x + 1 = 0) et (9x 2 R; x + 2 = 0).
5) 8x 2 R; (x + 1 6= 0 ou x + 2 6= 0).
6) 9x 2 R ; 8y 2 R ; 8z 2 R ; z xy = 0;
7) 8y 2 R ; 9x 2 R ; 8z 2 R ; z xy = 0;
8) 8y 2 R ; 8z 2 R ; 9x 2 R ; z xy = 0;
9) 9a 2 R; 8" > 0; jaj < ";
10) 8" > 0; 9a 2 R; jaj < ".
Exercice 6
Soit f et g deux fonctions de R dans R une fonction. Exprimer laide de quanti-
cateurs les assertions suivantes :
1) f sannule;
2) f est la fonction nulle.
3) f est majore ;
4) f est borne ;
5) f est paire ;
7) f est croissante ;
8) f est strictement dcroissante ;
9) f na jamais les mmes valeurs en deux points distincts ;
10) f atteint toutes les valeurs de R;

1 2017/2018
Universit dAlger I - Facult des Sciences Module: Algbre I - Maths-info

Exercice 7
Soit f : R ! R une fonction. Nier les assertions suivantes :
1) 8x 2 R; f (x) 6= 0.
2) 8x 2 R; f (x) > 0 =) x 0.
3) 8x1 ; x2 2 R; f (x1 ) = f (x2 ) ) x1 = x2
4) 8y 2 R 9x 2 R, f (x) = y
5) 8M > 0; 9A > 0; 8x A; f (x) > M .
6) 8" > 0; 9 > 0; 8(x; y) 2 I 2 ; jx yj =) jf (x) f (y)j " :

Exercice 8
Donner la contrapos de P ) Q puis montrer quelles sont quivalentes.
Application: Donner la contrapos de: "8x1 ; x2 2 R; f (x1 ) = f (x2 ) ) x1 = x2 ".

Exercice 9
On rappelle quun entier p divise n, et on note pjn, sil existe un entier relatif k tel
que n = k p.
1) Est-ce que 6jn est une condition ncessaire ce que n soit pair?
2) Est-ce que 6jn est une condition su sante ce que n soit pair?

Exercice 10 p
En raisonnant par labsurde, montrer que 2 est irrationnel.

Exercice 11
1) Soit n 2 un entier. Montrer par labsurde que, p si n nest pas premier, il admet
un diviseur premier p qui est infrieur ou gal n.
2) A laide de ce critre, dterminer si les nombres 89, 167 et 191 sont premiers.

Exercice 12
Soit a 2 R. Montrer que

8" > 0; jaj " =) a = 0:

2 2017/2018