M-ALLAT Cours de logique 1 Bac SM

I) Assertions et quantificteurs :
1) Activité :
On consdère les énoncés suivats :
1
A : " 2 est un nombre pair " B:" est un nombre décimal "
3
 1
C : " sin    " D : " 2 est un nombre rationnel "
12  2
E : " x   , 2x  3  0 " F : "  x, y    2 , x  2 y  3 "
G : " pour tout x   : x 2  3 x  3  0 " H : " il existe au moins x   tel que 3 x  1  0 "
- les énoncés A et C sont vraies et les énoncés B et D sont faux . les quatres énoncés s’appellent
des assértions ou des propositions .
- E et F ne sont pas des assertions car ils peuvent être vrais ou faux . E et F s’appellent des
fonctions propositionnelles .
- les énoncés G et F sont des assertions vraies , on écrit :
  x    x 2  3 x  3  0 .  s’appelle quantificateur universel et on lit quel que soit .
 x    3 x  1  0 .  s’appelle quantificateur éxistentiel et on lit il éxiste au moins .
2) Définitions :
- On appelle assertion ou proposition tout énoncé mathématique pouvant être vrai ou bien faux .
- On appelle fonction propositionnelle tout énoncé mathématique contenant des variables et qui
devient une proposition toutes les fois qu’on y substitue à toutes les variables des valeurs bien
détérminées .
- La proposition x  E : P x  se traduit par il éxiste au moins x  E : P  x  .
 s’appelle quantificateur éxistentiel .
- La proposition  x  E : P  x  se traduit par quel que soit x  E : P  x  .
 s’appelle quantificateur universel .
- Exemples : Détérminer la valeur de vérité de chacune des propositions suivantes :
8
p : " 2 3 3 2 " q : " 3199  1 est premier " r : "   " s : " x    x 2  3x  1  0 "
7
v : "  x    x  x  1  0 "
2
t : "  x    y    : x  y  1 " u : " y     x   : x  y  1 "
II) Connecteurs logiques :

1) Négation : la négation d’une proposition p est la proposition notée p ou p qui est vaie si p
est fausse et qui est fausse si p est vraie .
- Remarque : - la négation de x  E : P  x  est  x  E : P  x  .
- la négation de  x  E : P  x est x  E : P  x
- Exemples : Nier les assertions suivantes : p : " 2 3  3 2 " q : " y     x   : x  y "
- Table de vérité de P :
On attribue la valeur 1 pour le sens vrai et la valeur 0 pour le sens faux .
p P
1 0
0 1

2) Conjonction et disjonction : Soient p et q deux propositions .

- la conjonction de p et q est la proposition notée p  q ou ( p et q ) qui est vraie si p et q sont
toutes les deux vaies .
- la disjonction de p et q est la proposition notée p  q ou ( p ou q ) qui est fausse si p et q sont
toutes les deux fausses .
 p q pq
p q pq
1 1 1
1 1 1
1 0 1
1 0 0
0 1 1
0 1 0
0 0 0 0 0 0

- Exemples : Détérminer la valeur de vérité de chacune des assértions suivantes :

3 2x2
A : " 71 est premier et   " B : " 5  2.2 et  x   : 2  3"
8 x 1
22
C:"   ou  x   : x 4  2  x " D : "  x   : x 2  2 x 1  0 ou 187 est premier "
7
2
- Exo d’application : soit a, b   4,  et soient 1 et 2 les discriminants respéctifs des
équations x 2  ax  b  0 et x 2  bx  a  0 .
Montrer que l’assertion  1  0 ou 1  0  est vraie .

3) Implication logique :
a) Activité : Completer la table suivante :
p q p p ou q
1 1 0 1
1 0 0 0
0 1 1 1
0 0 1 1
On remarque que la propsition ( p ou q ) est fausse uniquement si p est vraie et q est fausse .
( p ou q ) s’appelle p implique q dans cet ordre et on la note p  q .
b)- Définition : l’implication de deux propositions p et q dans cet ordre est la proposition
 p  q  qui est fausse uniquement si p est vraie et q est fausse et on note pq.
- Table de vérité de p  q :
p q pq
1 1 1
1 0 0
0 1 1
0 0 1

c) Exemples : : Détérminer la valeur de vérité de chacune des assertions suivantes suivantes :

3 2 2 1 2 4 4
A :" 2  2 pair " B:"    " C:"    "
2 3 3 2 3 5 5
- Exo d’application 1 : Montrer que l’assertion :
3
p : x   : 0  x  1   x 2  x  1  1 est vraie .
4
- Exo d’application 2 :
Montrer que les implications suivantes sont vraies :
2 1
a) p :   x, y   *  : 2 x  4 y  1  2  20
x  y2
b) q :  a, b   2 : a 2  b 2  1  a  b  2
c) r :   x, y    2 : x  y  1  0  x 2  2 y 2  3xy  x  2 y  0
c) Condition nécéssaire et condition suffisante :
- Exemple : on considère les énoncés suivants :
A : " il pleut " . B : " le ciel est nuageux "
S’il pleut alors nécéssairement le ciel est nuageux . Pour que le ciel soit nuageux , il suffit qu’il pleuve .
On dit que A est la condition suffisant et B est la condition nécéssaire .
Remarque : On a A  B est vraie et B  A est fausse .
-En général : Si p  q est vraie alors p est la condition suffisant et q est la condition nécéssaire

pq

CS CN

- Exo d’application : Completer par est nécéssaire ou suffit :

a) pour faire une omelette il ……………de casser des œufs .
b) Pour que AI  IB il ………….d’avoir I milieu de
 
 AB  .
c) AI  IB ………..d’avoir I milieu de  AB 
4) Equivalence logique :

- Activité : Completer la table suivante :

p q pq q p p  q et q  p
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1
On remarque que ( p  q et q  p ) est vraie si p et q ont la même valeur de vérité .
( p  q et q  p ) s’appelle l’équivalence des assértions p et q et on écrit p  q .
- Définition : : l’équivalence de deux propositions p et q est la prosition  p  q  q  p  qui
est vraie si p et q ont même valeur de vérité et on note p  q .

- Exemples : Détérminer la valeur de vérité de chacune des assértions suivantes :

2 2 4 4
A : " 7    7 premier " B:"    2 " C:"    "
3 3 3 3
- Exo d’application 1 :
Soient a et b deux nombres réels positifs .
Montrer que a  b  0  a  b  0 est vraie

- Exo d’application 2 :

Soit le polynôme H  x   ax  bx  c avec a  0 .

2

On cosidère : p : " H admet deux racines distinctes et de signes contraires "

q : " ac  0 "
Montrer que : p  q
III) Lois logiques :
1) Acivité :
soient p et q deux propositions . Completer la table suivante :

p q q p pq q p  p  q  q  p
1 1 0 0 1 1 1
1 0 1 0 0 0 1
0 1 0 1 1 1 1
0 0 1 1 1 1 1

 
On remarque que  p  q   q  p est une assértion vraie quelles que soient les valeurs de


vérité des assertions p et q . On dit que  p  q   q  p est une loi logique ou une
tautologie .

2) - Définition :

une loi logique est une assértion composée et qui est toujours vraie quelles que soient les
valeurs de vérité de ses composats .

- lois de Morgan : p  q   p  q  et p  q   p  q .

 Nier les propositions suivantes : A : " x   : x  1 ou x 2  1" B : " x   : 2  x  3 "

C : " x    x 2  x  2  0  x  5 "

- Contraposée : on a  p  q   q  p  est une tautologie

  
 Montrer que :  x  1  y  1  : x  y  x 2 x  y 2  y
 
2  2 
- Autres lois logiques :  p  q  p  q   .  p  q   p  q  q  p . p  p
 p  q  r    p  q   p  r  et  p  q  r    p  q   p  r 
       
- Exércices d’application :

1) soient p et q deux propositions .

Monrer que  p ou q    p  q   q  est une tautologie .
2) Nier les propositions suivantes :
A : " x   : x  1 ou 0  x 2  2"
B : " p   p  q "
3) Monterer que :
  x, y    2 x  2 et y  3   xy  3x  2 y  6  0 
IV) Raisonnements mathématiques :

1) Raisonnement direct :

Pour montrer que p  q est vraie , on suppose que p est vraie et on montre que q est vraie .
2
-Exemple : Mq   x , y   0,  x  y  x 1  x  y 1  y
2) Raisonnement par contraposée :
- On a  p  q   q  p  est une loi logique donc pour montrer que p  q il suffit de montrer que q  p
.
-Exemple : Mq  n    :  n2 est pair   n est pair 
3) Raisonnement par équivalences succéssives :
On a  p  q et q  r    p  r  est une loi logique .
- Exemple : Mq  a, b   2 a 3  a  b3  b  a  b
4) Raisonnemet par contre exemple :

Pour montrer que  x  E : P  x est fausse , il suffit de montrer que sa négation x  E : P  x est vraie .
Trouver un tel x représente un contre exemple .
- Exemple : Mq la proposition x   x  x 3 est fausse .
5) Raisonnement par disjonction des cas :

On a  p  r et q  r    p ou q   r  est une loi logique .

- Exemple : Mq x   x 2  x 1  3  0
6) Raisonnement par l’absurde :

le raisonnement par l’absurde est un raisonnement qui permet de démontrer qu’une affirmation est vraie en
montrant que son contraire est faux.
- Exemple : Mq 2

7) Raisonnement par récurrence :

- Théorème : soit p n une fonction propositionnelle à variable n   .


k   tel que p k  est vraie
Si  alors n  k p n est vraie

  n  k p  n   p  n  1

- Pratiqument : pour montrer par récurrence que n  k p n , on procède comme suit :
 Etape 1 ( Initialisation ) on vérifie que p k  est vraie
 Etape 2 (Hérédité ) on suppose que p n est vraie pour n  k , et on montre ensuite que
p n  1 est vraie .
- Exemples :
1.  n    17   5
2 n1
 23n1
n n  1
2. n  *  1  2  .........  n  2