Algèbre BCG S1
Rédigé par Pr Driss EL MORSLI Table des matières Introduction 5 1 Raisonnement mathématique 6 1.1 Eléments de logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ´ 6 1.1.1 Assertion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.2 Les connecteurs logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.1.3 Raisonnement d’Alkhwarizmi . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.1.4 Les quantifications logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.1.5 Quelques règles logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.2 Vocabulaire ensembliste et propriétés des applications . . . . . . . . . . . . . . . . . 13 1.2.1 Opérations sur les ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 1.2.2 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.3 Le raisonnement par récurrence .