Seance N°1 de MATH1 (ST) du dimanche 18/9 et lundi 19/9 2016

Séance 1
ere
du dimanche 18/9/2016 et lundi 19/9/2016
La Logique Mathématique : Propositions et Connecteurs.
C’est quoi une proposition ?
C’est une phrase (avec un verbe, un sujet et un complément) qui admet une seule valeur de vérité : 0 ou 1.
0 si la phrase est fausse
et
1 si la phrase est vraie
REMARQUES :
1) Dans les cours de mathématiques, on utilisera seulement les propositions : la phrase suivante
LE CLIMAT EST BON
n’est pas une proposition : elle n’a aucun sens pour les mathématiques car sa valeur de vérité dépend du jugement de
chaque personne.
2) Soit  , on considère la phrase «      » qu’on lit
«   est égale à »
Cette phrase n’a pas de valeur de vérité car elle dépend de la variable, par exemple
Si  , on obtient la phrase «    » qui est fausse donc c’est une proposition
Si  , on obtient la phrase «    » qui est vraie donc c’est une proposition
On voit bien que la phrase :
n’est pas une proposition. Elle devient une proposition dès que l’on donne une valeur fixe à la variable.
3) Pour désigner une proposition on utilise les lettres
RAPPELS :
Au commencement c’était les entiers naturels puis arrive les nombres réels et complexes.
4) L’ensemble des entier naturels est noté par
On désigne les entiers naturels par les lettres
 !"
5) L’ensemble des entiers relatifs est noté par#
#  
On désigne les entiers relatifs par les lettres :
 !"

6) On a
#  $$
$
Donc tous les nombres naturels sont dans# c’est-à-dire
 % #
7) L’ensemble des nombres rationnels est noté par&
&  '
(   #  )
On désigne les nombres rationnels par les lettres
*
A partir de la définition de& , on déduit la propriété suivante (importante) :
  &+ ,-./012/   
3  #  
8) L’ensemble des nombres réels est noté par
On désigne les nombres réels par les lettres
*03
9) L’ensemble des nombres complexes est noté par4
4  5    .* (   *  
On désigne les nombres complexes par les lettres
5036
PROPRIETE D’INCLUSION ENTRE LES ENSEMBLES DE NOMBRES
 % # % 7 % & %  % 4
78-.9!1,! 18!/ 8-. 0
L’ensemble des nombres rationnels& n’est pas inclus dans7. Pourquoi ? Parce qu’il existe des rationnels qui ne sont pas
des nombres décimaux comme par exemple
: & :; 7
On écrit alors
& < 7
EXEMPLES DE PROPOSTIONS
=>? % #@0!//../! ( 113.
=>?& < 7@0!//../! ( 113.
=>?& % 7@0!//../! ( 1120

LES CONNECTEURS LOGIQUES
C’est quoi un connecteur logique ? C’est une opération entre propositions
ANALOGIE ENTRE CONNECTEURS LOGIQUES ET OPERATIONS ENTRE LES NOMBRES REELS
Les opérations entre les nombres réels Les opérations entre propositions (connecteurs logiques)
c’est la somme
c’est la différence ou la soustraction
 c’est le produit
A c’est la division ou le rapport
Le symétrique
L’inverse
B
c’est la conjonction
C
c’est la disjonction inclusive
D c’est l’l’implication
+ c’est l’équivalence
6 c’est la disjonction exclusive
E
c’est la négation
Soient
*
La somme
*
est un nombre réel
La différence * est un nombre réel
Le produit* est un nombre réel
Le rapportFG
HI est un nombre réel* J 
Soit   et*  * J 
1* -.080!!/ -1
1
K
.!3
8
0!
!/ 
-
1
Soient deux propositions
La conjonction
B
est une proposition
La conjonctionB est une proposition
La conjonctionB est une proposition
La conjonctionB est une proposition
La conjonctionB est une proposition
Soient  une proposition
La négation
E
est une proposition
Comment définir une proposition ? Une proposition est définie par sa table de vérité
1) Définition de la négationE
Si est une proposition, on définit la négation de comme étant la proposition, notée
L qui est fausse lorsque P est vraie
et vraie lorsque P est fausse. Voici la table de vérité de la négation :
M
N
O
P
2) Définition de la conjonctionB
Si et sont deux propositions, on définit la conjonction de et comme étant la proposition, notée B qui est vraie
lorsque les propositions et sont toutes les deux vraies et fausse dans les 3 autres cas. Voici la table de vérité de la
conjonction :
B
P
O
O
O
3) La disjonction
a) La disjonction inclusiveC
Si et sont deux propositions, on définit la disjonction inclusive de et comme étant la proposition, notée C qui
est fausse lorsque les propositions et sont toutes les deux fausses et vraie dans les 3 autres cas. Voici la table de vérité
de la conjonction :
C
P
P
P
O

b) La disjonction exclusiveQ
Si et sont deux propositions, on définit la disjonction exclusive de et comme étant la proposition, notéeQ, et
dont la table de vérité est donnée par :
M
R
S
O
P
P
O
4) L’implicationD
Si et sont deux propositions, on définit D  et on lit « implique» comme étant la proposition qui est fausse
lorsque est vraie et est fausse et vraie dans les 3 autres cas. Voici la table de vérité de l’implication
M
D
S
P
O
P
P
5) L’équivalenceT
Si et sont deux propositions, on définit l’équivalence de et, notée T  et on lit « équivalent à » comme
étant la proposition dont la table de vérité est donnée par :
M
T
S
P
O
O
P
QUELQUES REMARQUES
1) On peut remarquer que les tables de vérité de la négation de la disjonction exclusive6
L
L
L
L
L
L
et de
l’équivalence T  sont identiques donc elles sont équivalentes c'est-à-dire
 T T6
L
L
L
L
L
L
2) On peut remarquer que les tables de vérité des propositions
 D B D 
 T 
sont identiques c'est-à-dire
 T T U D B D V
D
D
D
B
D
T
P
P
O
O
O
O
P
P