Chap 

1 : Logique ET Raisonnement

I. Logique :

1. Vocabulaire usuel

Axiome : c’est une phrase, supposée vraie à priori et que l’on ne cherche pas
à démontrer ; (le carré d’un nombre réel est positif)

Proposition : c’est une phrase pouvant être vraie ou fausse et non les deux à la
fois
Exemple1 : tout nombre premier est impair (fausse)
Ex2 :il Ǝ un nombre réel tel que x 2+ 3 x −4❑ =0

Théorème : C’est une proposition vraie

Ex : le théorème de Pythagore ; Thalès etc…

Corollaire : C’est la conséquence d’un théorème

Ex :le théorème de Pythagore est un corollaire du produit scalaire

Lemme : c’est un théorème préparatoire à l’établissement d’un théorème de

plus grande ampleur
Conjecture : c’est une proposition que l’on suppose vraie sans démonstration

2. Calcul propositionnel

A partir d’une ou plusieurs propositions on peut définir de nouvelles

propositions
a) L’operateurs logiques « et » « ou »
b) La négation nonP
c) L’implication
la définition mathématique de P => Q est !P ou Q
Ainsi la proposition P=¿Q est fausse si P est vrai et Q faux sinon elle
est vraie
d) Equivalence
La proposition P< => Q est définie par (P =¿ Q) et (Q=P)

Proposition
Soient P Q R 3propositions
 !!P ¿>¿ P
 P ou Q ¿=¿ Q ou P ; P et Q ¿>¿ Q et P
 !(P ou Q) ¿=¿ !P et Q ! ; !(P et Q) ¿>¿  !P ou !Q
 P ou (Q et R) ¿>¿ (P ou Q) et (P ou R)
P et ( Q ouR ) ) ¿>¿ ( P et Q ) ou ( P et R )
 P=¿Q ¿>¿  !Q =¿ !P ¿>¿  !P ou Q
 EXERCICE
Dresser la table des vérités des propositions suivantes :

(P ou Q) et (Q ou !P )
(P =¿Q) ou (R ou !P)
(P Q) et ( !Q =¿ !P)

3. Quantificateurs :

Une proposition ¥ x ε E ,P(x) est vraie si pour tout x appartenant à E la

proposition P(x) est vraie