TD1 Algebre1 23 24

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 1

Université des Sciences et de la Technologie d’Oran - Mohamed Boudiaf

1ère Année Ingénieurs Mécanique - Département de Génie Mécanique

Module: Algèbre 1

FICHE DE TD N°1
Notions de Logique & Méthodes de Raisonnement

Exercice 1
1) Les propositions suivantes sont-elles vraies ?
(a) 1  1  0    12   
(b)  2  2  2   2  
(c)  9 est premier    n  , n  n  1 est pair 
2) Donner la négation des ces propositions, et la contraposée de (b). Ecrire (a) sous forme
d’implication.

Exercice 2
Décrire les parties de  qui sont définies par les propositions suivantes :
1)  x  0 et x  1 ou  x  0  2)  x  3 et  x  5  et  x  4 
3)  x  0 et x  1 ou  x  4  4)  x  0    x  2 

Exercice 3
Compléter, lorsque c’est possible avec  ou  pour que les énoncés suivants soient vrais :
a)....x   :  x  1  x 2  2x  1
2

b)....x   : x 2  3x  2  0
c)....x   : 2x  1  0
b)....x   : x 2  2x  3  0

Exercice 4
Les assertions suivantes sont-elles vraies ? Donner leurs négation :
(a ) x   , y   : x  y  0 ; (b ) x   , y   : x  y  0

(c ) x   , y   : x  y  0 ; (d ) x   , y   : y 2  x

Exercice 5
- Montre par l’absurde que 2 

- Montrer que : Pour tout n  * , (n 2 -1) n'est pas divisible par 8 alors n est pair
n

- Montrer que : n  ,   2k  1   n  1
2

k 0

Exercice supplémentaire : montrer que :


n
1  xn
3   ; n  , x    1 :  x k  ; n   : 5n  2n est un multiple de 3
k 0 1 x

Vous aimerez peut-être aussi