Eléments de logique et raisonnements mathématiques

Algorithmique Eléments de logique et raisonnements mathématiques Page 1/3
E
EE
E
E
EE
E
E
EE
EL
LL
L
L
LL
L
L
LL
LE
EE
E
E
EE
E
E
EE
EM
MM
M
M
MM
M
M
MM
ME
EE
E
E
EE
E
E
EE
EN
NN
N
N
NN
N
N
NN
NT
TT
T
T
TT
T
T
TT
TS
SS
S
S
SS
S
S
SS
S
D
DD
D
D
DD
D
D
DD
DE
EE
E
E
EE
E
E
EE
E
L
LL
L
L
LL
L
L
LL
LO
OO
O
O
OO
O
O
OO
OG
GG
G
G
GG
G
G
GG
GI
II
I
I
II
I
I
II
IQ
QQ
Q
Q
QQ
Q
Q
QQ
QU
UU
U
U
UU
U
U
UU
UE
EE
E
E
EE
E
E
EE
E
E
EE
E
E
EE
E
E
EE
ET
TT
T
T
TT
T
T
TT
T
R
RR
R
R
RR
R
R
RR
RA
AA
A
A
AA
A
A
AA
AI
II
I
I
II
I
I
II
IS
SS
S
S
SS
S
S
SS
SO
OO
O
O
OO
O
O
OO
ON
NN
N
N
NN
N
N
NN
NN
NN
N
N
NN
N
N
NN
NE
EE
E
E
EE
E
E
EE
EM
MM
M
M
MM
M
M
MM
ME
EE
E
E
EE
E
E
EE
EN
NN
N
N
NN
N
N
NN
NT
TT
T
T
TT
T
T
TT
TS
SS
S
S
SS
S
S
SS
S
M
MM
M
M
MM
M
M
MM
MA
AA
A
A
AA
A
A
AA
AT
TT
T
T
TT
T
T
TT
TH
HH
H
H
HH
H
H
HH
HE
EE
E
E
EE
E
E
EE
EM
MM
M
M
MM
M
M
MM
MA
AA
A
A
AA
A
A
AA
AT
TT
T
T
TT
T
T
TT
TI
II
I
I
II
I
I
II
IQ
QQ
Q
Q
QQ
Q
Q
QQ
QU
UU
U
U
UU
U
U
UU
UE
EE
E
E
EE
E
E
EE
ES
SS
S
S
SS
S
S
SS
S
Propositions logiques
Une proposition logique est un énoncé ayant valeur de vérité.
On les note avec des lettres latines.
Il existe certaines propositions, dans certaines théories, qui n'ont pas valeur de vérité : elles sont
indécidables.
Les parenthèses ne sont pas inutiles ; dans certains cas, leur absence peut modifier le sens de la
proposition.
Propositions complexes
Une proposition complexe est constituée de deux propositions reliées par un connecteur
logique (ET, OU, NON…)
Négation
Il s'agit d'une proposition qui prend valeur de vérité V (vrai) lorsque P est fausse.
On note non P ou ¬
¬¬
¬ P.
Conjonction
Est composée de deux propositions et prend valeur de vérité V lorsque les deux
propositions sont simultanément de vérité V.
On note P et Q ou P ∧
∧∧
∧ Q.
Disjonction
Prend valeur de vérité V lorsque l'une des deux propositions la composant prend la
valeur V.
On note P ou Q ou P ∨
∨∨
∨ Q.

Algorithmique Eléments de logique et raisonnements mathématiques Page 2/3
Implication
Elle prend valeur de vérité F uniquement si P est vrai et Q est faux.
On dit que :
! Q est nécessaire à P
! P est une condition suffisante à Q
! P implique Q
! si P alors Q
On note P ⇒
⇒⇒
⇒ Q ; ou (non P) ou Q.
Equivalence
Prend la valeur de vérité V lorsque P et Q ont même valeur de vérité.
On note P ⇔
⇔⇔
⇔ Q ou P ⇒
⇒⇒
⇒ Q et Q ⇒
⇒⇒
⇒ P.
Négation
! d'une conjonction : (non P) ou (non Q)
! d'une disjonction : (non P) et (non Q)
! d'une implication : P et (non Q)
Contraposée d'une implication
Une implication et sa contraposée ont même valeur de vérité. Elles sont équivalentes.
Contraposée de P ⇒
⇒⇒
⇒ Q est (non Q) ⇒
⇒⇒
⇒ (non P)
Quantificateurs
Le quantificateur existentiel "il existe" est noté ∃ ; le quantificateur universel "pour tout" ou
"quelque soit" ∀.
L'utilisation des connecteurs logiques et des quantificateurs n'est pas une abréviation du
langage usuel.

Algorithmique Eléments de logique et raisonnements mathématiques Page 3/3
Raisonnements mathématiques
Raisonnement direct
La démonstration directe consiste à utiliser les diverses informations de l'énoncé et à
faire appel à des résultats connus pour construire une démonstration nous menant au résultat à
obtenir.
N.B. : pour démontrer une proposition du type "∀ x ∈ E, P(x)", on choisit arbitrairement un x
de l'ensemble E et on prouve que P(x) est vraie. Pour prouver qu'elle est fausse, il suffit de
donner un cotre-exemple ; c'est à dire de trouver l'élément y de E ne vérifiant pas P.
Démonstration directe d'une implication
La plupart des résultats à démontrer sont de la forme P ⇒ Q.
Pour le démontrer, on dit que P est l'hypothèse et Q est la conclusion ; on suppose que P est
vraie et on prouve que Q est vraie également.
Raisonnement par contraposition
On l'utilise lorsque la démonstration directe d'une implication est complexe.
Il s'agit de prouver que non Q ⇒
⇒⇒
⇒ non P.
Raisonnement par l'absurde
Ce raisonnement est pratique lorsque les raisonnements précédents n'aboutissent pas. Il consiste
à réfuter la proposition que l'on cherche à prouver et à trouver une absurdité ; dans ce cas, la
proposition est fausse.
Raisonnement par récurrence
Il concerne les propositions ou interviennent des entiers naturels.
On initialise la récurrence en prouvant que la proposition est vraie pour un entier N (en général,
N=0 ou 1), puis on démontre que si la proposition est vraie pour un entier n alors elle l'est pour
un entier n+1.
On rédige "Soit n=xx, P est vraie pour n=xx. On suppose que P est vrai pour n, prouvons que
n+1 vérifie P."