Académique Documents
Professionnel Documents
Culture Documents
La logique est une branche fondamentale des mathématiques qui permet d’établir la valeur de vérité
de propositions et de construire des raisonnements mathématiques. Nous définirons les notions de
proposition et d’opérateur, nous construirons des tables de vérité, nous expliquerons les notions
d’implication, d’implication réciproque, équivalence et déférents types de raisonnements
mathématiques.
Logique
Définition 2: une proposition est un énoncé contenant une variable elle sera vraie pour certaines
valeurs de la variable et fausse pour toutes les autres valeurs de la variable. (Principe de tiers exclu)
Exemple:
est une proposition, elle est vraie pour les nombres strictement inférieurs à 2 et fausse dans
tous les autres cas.
Remarque:
A chaque proposition on peut associer une valeur de vérité vraie sera notée V et fausse sera notée F.
Connecteurs usuels
La négation d’une proposition c’est la proposition notée ( ), qui est vraie si et,
seulement si est fausse.
Cette définition peut s’exprimer sous forme d’un tableau qu’on appelle : table de vérité:
1
Exemples: ̅
̅ a
Remarque: ̿
1. 2. 2 Conjonction:
Soient et deux propositions. On appelle conjonction de et qu’on note ( );( )
la proposition qui est vraie si et, seulement si et sont vraies simultanément et fausse dans tous
les autres cas. Table de vérité
Remarque:
vraie ( )
fausse ( )
fausse ( )
fausse( )
1. 2. 3 Disjonction:
Soient et deux propositions. On appelle disjonction de et qu’on note ( ) , ( )
la proposition qui est vraie si et, seulement si l’une au moins des propositions et est vraie et
fausse dans tous les autres cas.
Table de vérité
2
Exemples:
vraie (première ligne)
3 est impair ou 4 est premier vraie (deuxième ligne)
(troisième ligne)
2 est impair ou 3 est pair faux (quatrième ligne)
1. 2. 4 Implication:
la relation ( ) s’appelle l’implication de par , qu’on note ( ) (qu’on
lit ) elle est fausse si ,et seulement si est vraie et est fausse.
Table de vérité
̅ ̅
Exemples:
vraie (première ligne)
3 est impair 4 est premier faux (deuxième ligne)
(troisième ligne)
2 est impair 3 est pair vraie (quatrième ligne)
N.B.
3
Exemple 1
: faux
1. 2. 5. Equivalence:
Deux propositions sont équivalentes si chacune d’elle implique l’autre;( ) ( ),
qu’on note ( ) et on lit aussi
Table de vérité
4
propriété de Distributivité:
( ) ( ) ( )
( ) ( ) ( )
propriété de Transitivité
( ) ( ) ( )
( ) ( ) ( )
la contraposée:
( ) (̅ ̅ ), la proposition ( ̅ ̅ ) est la contraposée de ( )
̅ ̅ ̅ ̅ ( ) (̅ ̅)
V V V F F V V
V F F V F F V
F V V F V V V
F F V V V V V
Exemple
( ) ( )
Remarque
Exemple
La contraposée
( ) ( ) pair
Donc
5
3. Quantificateurs:
3. 1. Définition:
On note( ) ( ) : la proposition qui est vraie pour tout choix de x dans ( ) est
vraie.
Exemple:
,( )= 0 vraie
, ( )= 0 faux
vraie
( ) faux
3. 2. Propriétés :
( ( )) ( ( ))
( ( )) ( ( ))
( ( ) ( )) ( ( )) ( ( ))
( ( ) ( )) ( ( )) ( ( ))
( ( ) ( )) ( ( )) et ( ( ))
[( ( )) ( ( ))] ( ( ) ( ))
[( ( )) ( ( ))] ( ( ) ( ))
Exemples
1. ( ) est vraie
2. ( ) est fausse
6
Tautologie:
Définition: Une tautologie est une proposition qui est toujours vraie quelques soient les valeurs de
vérité que prennent les propositions servant à la former.
Exemples:
̅ ( )
V V F V V
V F F V V
F V V V V
F F V F V
Exercice1
1)
2) ( ) ( )
3) | |
4) | |
5) ( ) ( )
6) ( ) ( )
Exercice2
est croissante
4. Raisonnements Mathématiques:
7
4. 1. Raisonnement par récurrence
3. Enfin dans la conclusion, on rappelle que par le principe de récurrence ( ), est vraie pour
tout .
Exemple
Démonstration:
, .
On note la proposition ( )
Alors ( ) ?
( ) car on a
car
( ) (̅ ̅).
Pour démontrer que ( ) est vraie, il est parfois plus commode de démontrer que sa
contraposée ( ̅ ̅) est vraie.
8
Exemples : ) ( )
sa contraposée est
ii) ( )
( ) et alors ( ).
Exercice
Montrer
Solution:
⏟ ⏟
( ) (̅ ̅)
La contraposé
⏟ ⏟
̅ ̅
⏟
̅
( ) ( )
( ) ( )
( )( )
{ (
⏟ )
̅
la méthode directe de raisonnement est une méthode qui utilise les résultats des tables de vérité
pour décider de la valeur de vérité d’une proposition simple ou composée , alors:
9
• pour montrer que ( ) est , On montre que l’une des propositions est vraie
• pour montrer que ( ) est , On montre que les deux propositions sont vraies
• pour montrer que est , On suppose que est vraie et on montre que est vraie
pour montrer que est , On montre que les deux propositions ont la
même valeur de vérité
• Si est vraie et si ( )est vraie, on peut affirmer que est vraie. Autrement dit
lorsqu’on sait (ou on démontre) que est vraie et si ( )est vraie, on en déduit que
est vraie. La proposition est l’hypothèse, la proposition est la Conclusion.
• On peut avoir aussi des schémas de déduction plus compliqués. Si par exemple les
propositions sont vraies, on a aussi vraie, et puisque est
vraie et , alors est vraie.
Exemple1:
10
Comme on a: ( ) ( )
d’où ( )( ) ( )
Exercice
En utilisant un raisonnement par absurde, montrer que «si deux droites sont parallèles et
une troisième est sécante à l’une, alors elle sécante à l’autre».
⏟ ⏟
Alors et
Alors
11
Applications:
( )
si tout élément de admet une image ( ) dans , et si cette image est unique
Autrement dit :
( )
E F
E
Injection:
( )
est dite injective ou est une injection si, et seulement si tout élément de E admet au plus une
image dans F par f.
( ) ( )
Autrement dit: ( ) si {
( ) ( )
Exemple:
Soit ( )
( ) ( )
12
Surjection:
( )
est dite surjective ou est une surjection si, et seulement si tout élément de F admet au moins un
antécédent dans E par f.
Autrement dit: / ( )
Exemple:
/ ( )
E F
Exercice 1
( )
est-elle injective ?
Soit ( ) ( ) ( ); alors
est-elle surjective ?
13
Exercice 2
( )
estest-elle injective ?
Soit ( ) ( );
est-elle surjective ?
Bijection
( )
est dite bijective ou est une bijection si elle est à la fois surjective et injective.
Autrement dit: / ( )
est dite bijective si chaque élément de F admet un antécédent unique dans E par f.
Exemple:
14
Proposition 1
( )
telle que:
et
signifie [ ( )]
signifie [ ( )]
Proposition 2:
Si est bijective alors est unique et qui est bijective c’est ce qu’on appelle bijection réciproque de
que l’on note .
Remarque : ( )
Exemple
Donc:
y ( ) =x
Remarque:
15
Proposition 3:
( )
16