
1 Op´erations logiques ´elementaires. Ensem-
bles. Quantificateurs. Relations binaires
et Applications
1.1 Qu’est-ce qu’une expression math´ematique ?
Il s’agit de se familiariser `a l’expression math´ematique du raisonnement et `a
quelques r`egles de raisonnement logique constamment utilis´ees en math´ematiques
et ailleurs.
Ces r`egles permettent, `a partir de propositions sur (ou propri´et´es, ou
relations entre) des objets math´ematiques (nombres, figures g´eom´etriques,
fonctions, . . . ), connues ou pos´ees comme vraies , de d´eduire d’autres
propositions ou propri´et´es vraies.
Ici, le mot ‘proposition’ d´esigne tout ´enonc´e sur les objets consid´er´es
auquel on peut attribuer une valeur de v´erit´e. Par exemple :
– (P1)√2 est un nombre rationnel,
– (P2) par deux points il passe une droite et une seule,
– (P3) une fonction d´erivable est continue.
Quant `a la v´erit´e en question, il s’agit d’une valeur logique qui est l’un
des deux mots vraie ou fausse (principe du tiers exclu). Ainsi (P1) est fausse
et (P3) est vraie.
Un certain nombre de propositions sont consid´er´ees comme v´erit´es premi`eres,
qui ne se d´eduisent pas d’autres propositions vraies. Certaines d’entre elles
traduisent en langage math´ematique les propri´et´es les plus ´evidentes des ob-
jets concrets auxquels on pense. On les appelle des axiomes. Par exemple,
(P2) est un des axiomes de la g´eom´etrie euclidienne.
Les autres propositions vraies le sont par d´eduction des axiomes ou d’autres
propositions dont la v´erit´e est d´ej`a d´emontr´ee. Les axiomes sont en petit
nombre et poss`edent une coh´erence interne, en ce sens qu’on ne peut d´eduire
d’eux aucune proposition `a la fois vraie et fausse.
1.2 N´egation d’une proposition : non P
D´efinition 1.1 Si Pest une proposition, sa n´egation, not´ee non(P)est une
proposition qui est fausse si Pest vraie et qui est vraie si Pest fausse.
Il r´esulte de cette d´efinition que non(nonP ) et Pont la mˆeme valeur logique,
c’est `a dire sont vraies simultan´ement ou fausses simultan´ement.
Par exemple:
–P: Tous les dimanches je vais au restaurant,
3
exosup.comexosup.com page facebookpage facebook