Université Ibn Khaldoun – Tiaret Département de l’Informatique Faculté des Mathématiques et de l’Informatique Module : Algèbre 01 (1ère Année LMD
2016-2017)
Fiche de TD n0 01
EXERCICE 01 :
Les propositions suivantes sont elles vraies?
1
P
2
P
3
P
4
: 2 5 7 1 3 6 4 divise 12
P
52
: 0 divise 5 0.66 1 4 3 1.73
3
P
Ecrire les négations de ces propositions
EXERCICE 02 :
Soient
des propositions. Montrer qu’on a les équivalences suivantes :
1)
2)
3)
) 4)
EXERCICE 03 :
Ecrire les négations des énoncés suivants et dire s’ils sont vrais ou faux. 3
1
Pxx
22
1
x y xy
21
: ,
Pqq
2
n
nxx
3
3
Q : , ,
4
Paaa
4
Q : , ,
EXERCICE 04:
Soient
un intervalle de
et :
une fonction dénie sur
à valeurs réelles.
Exprimer à l’aide de quanticateurs les propositions suivantes :
1)
s’annule 2)
est la fonction nulle
3)
n’est pas une fonction constante 4)
ne prend jamais deux fois la même valeur
5)
est positive 6)
est bornée
EXERCICE 05 :
1) Montrer, par l’absurde, que
est un nombre irrationnel.
2) Soient
deux entiers naturels non nuls, Montrer par contraposée que :
kk kk
3) Soit n
. Montrer par disjonction des cas que
nnnn
est un multiple de
EXERCICE 06 :
1) Soit a
. Montrer que 2
est pair si et seulement si est pair
aa.
2) Sachant que tout entier supérieur ou égal à
admet un diviseur premier.
Montrer, que l’ensemble P des nombres premiers est infini.
3) Soit
deux nombres réels. Posons
Montrer que
32
Montrer que