report.pdf


Aperçu du fichier PDF report.pdf - page 2/10

Page 1 2 3 4 5 6 7 8 9 10


Aperçu texte


Contents
1 Introduction `
a la logique
1.1 Logique . . . . . . . . . . . . . . . . . . .
1.1.1 Assertion . . . . . . . . . . . . . .
1.1.2 Op´erateurs . . . . . . . . . . . . .
1.2 Assertion a param´etre et quantificateur .
1.2.1 Assertion a param´etre . . . . . . .
1.2.2 Quantificateur . . . . . . . . . . .
1.3 Raisonnement . . . . . . . . . . . . . . . .
1.3.1 Raisonnement direct . . . . . . . .
1.3.2 Raisonnement par contrapos´e . . .
1.3.3 Absurde . . . . . . . . . . . . . . .
1.3.4 Raisonnement par contre exemple
1.3.5 R´eccurence . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

2
2
2
2
3
3
3
4
4
4
5
5
5

2 Ensembles et applications
2.1 Ensembles: . . . . . . . . . . . . . . . . .
2.1.1 D´efinisions . . . . . . . . . . . . .
2.1.2 Op´erations sur les ensemble . . . .
2.1.3 R´egles de calcules . . . . . . . . .
2.1.4 Produit cart´esien . . . . . . . . . .
2.2 Applications . . . . . . . . . . . . . . . . .
2.2.1 D´efinitions . . . . . . . . . . . . .
2.2.2 Image direct et Image r´eciproque:
2.2.3 Injection, Surjection et Bijection .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

6
6
6
7
7
8
8
8
8
9

1