B.

Chaouchi ; Septembre 2016

RepubliqueAlgerienneDemocratiqueetP opulaire

M inistere de l0Enseignement Superieur et de la Recherche Scientif ique

U niversite d0Alger1

F aculte des Sciences

Departement de M athematiques et Inf ormatique

Rum du cours dAlgbre 1

Chapitre I : Notions de logique mathmatique :

Prsent par B. Chaouchi.

Email : chaouchicukm@gmail.com

Horaires de rception : Lundi 8h30-9h30

Ce document sert de support du cours dAlgbre 1 donn en L1 lUniversit
dAlger 1. Ces notes contiennent sans aucun doute des erreurs, approximations, assertions
non justies, etc. Nous encourageons nos lecteurs exercer leur sens critique durant leur
lecture, et leur serions reconnaissants de bien vouloir nous signaler tout problme par
e-mail.
Table des matires

Introduction 1
0.1 La logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

I ELEMENTS DE LOGIQUE 3
0.2 Vocabulaire usuel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
0.3 Les oprateurs logiques de base . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.3.1 La ngation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
0.3.2 La conjonction : le connecteur logique ET . . . . . . . . . . . . . . . 5
0.3.3 La disjonction : le connecteur logique OU . . . . . . . . . . . . . . . . 6
0.3.4 Limplication : le connecteur logique Si. . . alors . . . . . . . . . . . . 7
0.3.5 Lquivalence logique : le connecteur logique si et seulement si . . . . 8
0.4 Les quanticateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
0.4.1 Le quanticateur universel . . . . . . . . . . . . . . . . . . . . . . . . 8
0.4.2 Le quanticateur existentiel . . . . . . . . . . . . . . . . . . . . . . . 9
0.4.3 Lordre des quanticateurs . . . . . . . . . . . . . . . . . . . . . . . . 9

Introduction

1
 2

0.1 La logique
La logique mathmatique contemporaine est lie aux mathmatiques, linformatique
et lingnierie. Pour laborer leurs raisonnements, les scientiques, notamment les ma-
thmaticiens, emploient un instrument particulier, le mme dans toutes les disciplines : la
logique.
La logique, du grec logik, est un terme driv de lgos signiant la fois raison
, langage , et raisonnement est, dans une premire approche, ltude des rgles
formelles que doit respecter toute argumentation correcte.
Dans ce chapitre, on se limitera lintroduction des premiers lments de la logique
classique.
 Premire partie

ELEMENTS DE LOGIQUE

3
 4

0.2 Vocabulaire usuel

Dnition 0.1 Une expression est un ensemble de signes (lettres, chires, symboles, mots,
etc.) possdant une signication dans un univers donn.

Exemple 0.1 En analyse

sin (3x) + 4x;

Exemple 0.2 En gomtrie

ABC un triangle,

Dnition 0.2 Une proposition est une expression a rmative qui est vraie ou fausse
(V ou F en abrg).

Exemple 0.3 On a les deux propositions

P:7 6 est une proposition vraie,

Q : Il existe un rel x tel que x2 < 0 est une proposition fausse:

Notation 0.1 Les propositions sont souvent dsignes par des lettres en majuscule : P,
Q; R:::

Remarque 0.1 Une proposition ne peut pas tre la fois vraie et fausse. Ladjectif vrai
ou faux qui accompagne une proposition est appel valeur de vrit de cette proposition.

Dnition 0.3 En linguistique, une assertion reprsente un nonc considr ou prsent

comme vrai. Mais, en mathmatique, une assertion est une proposition mathmatique
vraie. Cette proposition vraie sinscrit dans le cadre dune thorie prcise. Cette mme
proposition peut dailleurs tre fausse au sein dune autre thorie

Exemple 0.4
2 + 2 = 4;
est une assertion vraie dans la thorie des entiers naturels.

Exemple 0.5 il pleuvra demain nest pas une assertion mathmatique.

Exemple 0.6 Lassertion

1 + 1 = 0;
est fausse dans la thorie des entiers mais est vraie dans la thorie des nombres
modulo 2.

Dnition 0.4 Un thorme est une proposition dont il faut tablir la vracit.

Exemple 0.7 Un triangle est rectangle si et seulement le carr de son hypotnuse est gal
la somme des carrs des deux autres cts.
 5

0.3 Les oprateurs logiques de base

Les oprateurs permettent de construire de nouvelles propositions partir dune ou de
plusieurs propositions initiales. Soient R et S deux propositions. On peut en former dautres :
la ngation, note (non R).
la disjonction, note (R ou S).
la conjonction, note (R et S).
Pour chaque fonction logique, on donne un schma lectrique, lquation logique, le logi-
gramme, la table de vrit.

0.3.1 La ngation
Dnition 0.5 tant donn une proposition P, la ngation de P, note

non P;

est une proposition qui est fausse quand P est vraie et qui est vraie quand P est fausse.

Exemple 0.8 On considre la proposition P : "La fonction f est continue sur R" , alors la
ngation de
P : La fonction f est continue sur R;
est
non P : La fonction f nest pas continue sur R:

Tables de vrit
Dans linterprtation par des tables de vrit, on a

P non P
V F
F V

et si on utilise une notation informatique on remplaant Vrai par 1 et Faux par 0 on

obtient alors :

P non P
1 0
0 1

0.3.2 La conjonction : le connecteur logique ET

Dnition 0.6 Le connecteur logique ET porte sur deux propositions. La proposition (P et
Q) note
P ^Q
est vraie si les deux propositions P et Q sont simultanment vraies, la proposition P ^
Q est fausse dans tous les autres cas
 6

Tables de vrit
Dans linterprtation par des tables de vrit, on a

P Q P ^Q
V V V
V F F
F V F
F F F

et si on utilise une notation informatique on remplaant Vrai par 1 et Faux par 0 on

obtient alors :
P Q P ^Q
1 1 1
1 0 0
0 1 0
0 0 0

0.3.3 La disjonction : le connecteur logique OU

Dnition 0.7 Le connecteur logique OU porte sur deux propositions. La proposition (P
ou Q) note
P _ Q;
est fausse si les deux propositions sont simultanment fausses, la proposition P _ Q
est vraie dans tous les autres cas

Tables de vrit
Dans linterprtation par des tables de vrit, on a

P Q P _Q
V V V
V F V
F V V
F F F

et si on utilise une notation informatique on remplaant Vrai par 1 et Faux par 0 on

obtient alors :
P Q P _Q
1 1 1
1 0 1
0 1 1
0 0 0

Remarque 0.2 On peut exprimer le connecteur OU laide des connecteurs ET et NON :

PQ = :(:P ^ :Q):
 7

Remarque 0.3 On peut noter que P _ Q est fausse si et seulement si P et Q sont

fausses alors que P ^ Q est vraie si et seulement si P et Q sont vraies.

Remarque 0.4 Il existe en franais deux signications du mot ou . Il y a le

ou exclusif

qui signie soit lun, soit lautre, mais pas les deux et le

ou inclusif

qui signie soit lun, soit lautre, soit les deux . Dans notre situation _ est le

ou inclusif .

0.3.4 Limplication : le connecteur logique Si. . . alors

Dnition 0.8 Le connecteur logique

Si : : : alors;

porte sur deux propositions. La proposition (Si P alors Q) note

P ) Q;

est fausse lorsque lon a simultanment laproposition P vraie et la proposition Q

fausse, la proposition
P ) Q;
est vraie dans tous les autres cas.

Tables de vrit
Dans linterprtation par des tables de vrit, on a
P Q P )Q
V V V
V F F
F V V
F F V
et si on utilise une notation informatique on remplaant Vrai par 1 et Faux par 0 on
obtient alors :
P Q P )Q
1 1 1
1 0 0
0 1 1
0 0 1

Remarque 0.5 On peut exprimer le connecteur logique : Si . . . alors, laide des connec-
teurs OU et NON :
P ) Q = :P _ Q
 8

0.3.5 Lquivalence logique : le connecteur logique si et seulement

si
Dnition 0.9 Le connecteur logique Si et seulement si porte sur deux propositions. La
proposition (P si et seulement si Q) note

P,Q

est vraie lorsque lon a simultanment P et Q vraie ou fausses. La propostion est

fausse dans les autres cas.

Tables de vrit
Dans linterprtation par des tables de vrit, on a

P Q P ,Q
V V V
V F F
F V F
F F V

et si on utilise une notation informatique on remplaant Vrai par 1 et Faux par 0 on

obtient alors :
P Q P ,Q
1 1 1
1 0 0
0 1 0
0 0 1

Remarque 0.6 Pour quune quivalence soit vraie, il faut avoir :

P ) Q et Q ) P

0.4 Les quanticateurs

0.4.1 Le quanticateur universel
Dnition 0.10 Un quanticateur permet de prciser le domaine de validit dune
proposition. Le symbole
8
qui signie quel que soit ou pour tout reprsente le quanticateur universel.

Exemple 0.9 8x 2 R, x2 > 0 quelque soit x appartenant R, x2 est positif ou nul

0.4.2 Le quanticateur existentiel

Dnition 0.11 Le symbole 9 qui signie il existe au moins un . . . tel que
reprsente le quanticateur existentiel.

Remarque 0.7 On peut ventuellement rajouter un point dexclamation pour montrer

lunicit. On a alors :
9!
qui signie il existe un unique . . . tel que .

Exemple 0.10 9! x 2 [0; 1], x2 + 4x + 1 = 0 cest--dire Il existe un unique x appar-

tenant lintervalle [0; 1] tel que :x2 + 4x + 1 = 0:

0.4.3 Lordre des quanticateurs

Lordre dans lequel on crit les quanticateurs change la signication :

Quelque soit le rel x,il existe au moins un rel y tel que y soit suprieur x;

cest--dire
8x 2 R; 9y 2 R; y > x;
On peut toujours trouver un nombre suprieur un nombre rel donn car lensemble R
nest pas born. La proposition est vraie.
Inversons maintenant les quanticateurs

9x 2 R; 8y 2 R; y > x;

Il existe au moins un rel x tel que pour tout rel y,y soit suprieur x,
Cette proposition cette fois est fausse car on ne peut trouver un rel infrieur tous les
autres. En eet lensemble R na pas de borne infrieure.