LOGIQUE ET ALGORITHME - Cours de Mathématiques et de

CHAPITRE VIII : LOG
Éléments du raisonnement mathématique
Démontrer, c’est partir d’une vérité admise pour aboutir, à l’aide d’un raisonnement, à une nouvelle vérité.
On enchaîne des déductions de la forme :
Si Proposition 1 alors Proposition 2, d’où
Chaque proposition est une condition nécessaire pour que la précédente soit vraie.
Elle n’est pas toujours suffisante pour l’affirmer.
Chaque enchaînement constitue une propriété. Elle d
un théorème (propriété préalablement démontrée).
Certaines propriétés sont vraies quelle que soit la valeur de la variable ou le point choisi.
D’autres ne sont vérifiées que po
ur quelques valeurs ou quelques points.
La logique étudie la formulation des raisonnements. C’est une branche des mathématiques, au même titre que l’algèbre ou la
géométrie.
1. Quelle est la différence entre les quantificateurs «
• L’égalité
par n
’importe quel nombre réel dans le membre de gauche et dans le membre de droite, on obtient le même résultat. Pour le prouver,
on développe le membre de gauche.
« Quel que soit
» est un quantificateur universel.
L’égalité
n’est pas vraie pour
nombre réel tel que l’égalité soit vraie.
« Il existe
» est un quantificateur existentiel.
Ces quantificateurs sont souvent sous-
entendus dans le langage courant.
2. Quelle est la différence entre «
condition nécessaire
• Dans la déduction «
Si le quadrilatère est un rectangl
droits
» (Q) est une condition nécessaire pour la proposition «
Elle n’est pas suffisante car un quadrilatère qui a deux angles droits peut
Pour que la condition soit suffisante il faut, par exemple, la proposition «
3. Comment distinguer «
proposition réciproque
• La proposition « Si ABC est un tri
angle rectangle en
triangle rectangle connaissant la mesure des deux autres.
Sa réciproque « Si BC2 = AB2 + AC2
, alors ABC est un triangle rectangle en A
rectangle.
Sa contraposée « Si BC2 AB2 + AC2
, alors ABC n’est pas un triangle rectangle en A
triangle n’est pas rectangle.
L’énoncé réciproque de la propriété «
Si P alors Q
Lorsque l’énoncé direct et l’énoncé réciproques sont vrais, on dit que les propositions sont équivalentes.
4. Comment infirmer à l’aide d’un contre
• L’énoncé « Pour entier naturel n on a (n
+2)
5.
Pour montrer qu’une propriété n’est pas toujours vraie, on montre à l’aide d’un contre
5. Qu’est-
ce qu’un raisonnement par l’absurde
• La proposition contraire de P «
le nombre
nombre est impair on peut raisonner par l’absurde en montrant qu’il est impossible que
Plus généralement, pour montrer qu’une propositio
impossibilité.
À retenir
CHAPITRE VIII : LOG
IQUE ET ALGORITHME
Éléments du raisonnement mathématique
Démontrer, c’est partir d’une vérité admise pour aboutir, à l’aide d’un raisonnement, à une nouvelle vérité.
Proposition 3, donc Proposition 4, par conséquent Proposition
Chaque proposition est une condition nécessaire pour que la précédente soit vraie.
Elle n’est pas toujours suffisante pour l’affirmer.
Chaque enchaînement constitue une propriété. Elle d
oit se justifier par un calcul, un axiome (propriété universellement admise) ou
un théorème (propriété préalablement démontrée).
Certaines propriétés sont vraies quelle que soit la valeur de la variable ou le point choisi.
ur quelques valeurs ou quelques points.
La logique étudie la formulation des raisonnements. C’est une branche des mathématiques, au même titre que l’algèbre ou la
1. Quelle est la différence entre les quantificateurs «
Quel que soit » et « Il existe » ?
est vraie quel que soit le nombre réel . C’est-à-
dire qu’en remplaçant
’importe quel nombre réel dans le membre de gauche et dans le membre de droite, on obtient le même résultat. Pour le prouver,
» est un quantificateur universel.
n’est pas vraie pour
, mais elle est vraie pour
. On peut donc affirmer qu’il existe un
» est un quantificateur existentiel.
entendus dans le langage courant.
condition nécessaire
» et « condition suffisante » ?
Si le quadrilatère est un rectangl
e alors il possède deux angles droits
», la proposition «
» (Q) est une condition nécessaire pour la proposition «
le quadrilatère est un rectangle ».
Elle n’est pas suffisante car un quadrilatère qui a deux angles droits peut
être seulement un trapèze rectangle.
Pour que la condition soit suffisante il faut, par exemple, la proposition «
il possède quatre angles droits
».
proposition réciproque
» et « contraposée » ?
angle rectangle en
A, alors BC2 = AB2 + AC2
» permet de calculer la mesure d’un côté d’un
triangle rectangle connaissant la mesure des deux autres.
, alors ABC est un triangle rectangle en A
» fournit un outil pour prouver qu’un triangle est
, alors ABC n’est pas un triangle rectangle en A
» permet d’établir, par un calcul, qu’un
Si P alors Q
» est « Si Q alors P ». Sa contraposée est «
Si non Q alors non P
Lorsque l’énoncé direct et l’énoncé réciproques sont vrais, on dit que les propositions sont équivalentes.
4. Comment infirmer à l’aide d’un contre
-exemple ?
+2)
2 = n2+4 » est faux. On peut le prouver en remplaçant n par 1
Pour montrer qu’une propriété n’est pas toujours vraie, on montre à l’aide d’un contre
-
exemple qu’elle est fausse dans l’un des cas.
ce qu’un raisonnement par l’absurde
?
le nombre
n est impair » est la proposition non P « le nombre n est pair
». Pour établir qu’un
nombre est impair on peut raisonner par l’absurde en montrant qu’il est impossible que
n
soit divisible par
Plus généralement, pour montrer qu’une propositio
n P est fausse, on peut prouver que supposer non
P vraie conduit à une
IQUE ET ALGORITHME
Démontrer, c’est partir d’une vérité admise pour aboutir, à l’aide d’un raisonnement, à une nouvelle vérité.
5, etc.
oit se justifier par un calcul, un axiome (propriété universellement admise) ou
La logique étudie la formulation des raisonnements. C’est une branche des mathématiques, au même titre que l’algèbre ou la
dire qu’en remplaçant
’importe quel nombre réel dans le membre de gauche et dans le membre de droite, on obtient le même résultat. Pour le prouver,
. On peut donc affirmer qu’il existe un
», la proposition «
il possède deux angles
être seulement un trapèze rectangle.
».
» permet de calculer la mesure d’un côté d’un
» fournit un outil pour prouver qu’un triangle est
» permet d’établir, par un calcul, qu’un
Si non Q alors non P
».
: (1+2)2 = 32 = 9 et 12 + 4 =
exemple qu’elle est fausse dans l’un des cas.
». Pour établir qu’un
soit divisible par
2.
P vraie conduit à une

• Pour établir qu’une propriété n’est pas vraie quelle que soit la valeur de la variable ou le point choisi, on peut utiliser un contre-
exemple, c’est-à-dire montrer qu’elle est fausse pour un élément particulier.
• Dans l’implication « si P alors Q », la proposition Q est une condition nécessaire pour P. Si l’implication réciproque « si Q alors
P » est vraie, la proposition Q devient condition suffisante pour P. Les propositions P et Q sont alors équivalentes.
• L’implication « Si P alors Q » a pour contraposée équivalente « si non Q alors non P ».
• Pour montrer par l’absurde qu’une proposition P est fausse, on montre que son contraire non P conduit à une contradiction.
Lire ou compléter un algorithme
Un algorithme est la décomposition d’une action en instructions élémentaires.
Les calculs nécessaires à la résolution d’un problème, les consignes pour un tracé géométrique, les étapes pour trier des données
constituent des algorithmes.
L’énoncé en français doit être traduit en langage machine pour effectuer un traitement sur calculatrice ou ordinateur.
1. Quelles sont les instructions d’un algorithme élémentaire ?
• Un algorithme comporte quatre étapes :
• indication des variables : une variable sert à stocker une valeur numérique ou un mot. Il faut déclarer les données de l’énoncé et
désigner les variables qui permettront de stocker les résultats intermédiaires lors du traitement des instructions ;
• début : on affecte les données dans des variables, on initialise le stockage des valeurs intermédiaires et les compteurs
numériques ;
• traitement : on note l’ensemble des instructions de calcul ou de tri, les boucles de répétition et les tests à effectuer ;
• sortie : lorsque toutes les opérations sont exécutées il faut communiquer les résultats, c’est-à-dire les écrire.
2. Comment insérer une condition ?
• Deux traitements sont proposés, suivant que la condition est vérifiée ou non.
La structure de l’algorithme est alors de la forme :
• indication des variables ;
• entrée des données ;
• traitement.
Si condition, alors traitement 1.
Sinon traitement 2.
FinSi
Sortie des résultats : l’instruction FinSi indique la fin du traitement conditionnel.
3. Comment insérer une boucle ?
• Il y a trois structures possibles :
• avec un compteur : pour I variant de I0 jusqu’à N, faire traitement. FinPour
• avec une condition : tant que condition, faire traitement. FinTantque
• avec répétition jusqu’à condition : répète traitement jusqu’à condition. FinTantque
Les instructions FinPour, FinTantque et FinRepète terminent la boucle.
4. Comment résoudre un système de deux équations du premier degré ?

• Le système
peut avoir un couple solution, aucune solution ou une infinité de solutions.
Lorsque les coefficients
A, B, D et E ne sont pas proportionnels, les d
solution, composé des coordonnées du point d’intersection.
Dans le cas contraire, si les nombres
A, C, D et F sont proportionnels, on obtient deux équations d’une même droite, il y a une
infi
nité de solutions. Sinon les deux droites sont strictement parallèles et il n’y a aucune solution.
Algorithme
Variables
A, B, C, D, E, F,
X, Y les valeurs du couple solution éventuel.
Entrée
? → A ; ? → B ; ? → C
? → D ; ? → E ; ? → F
Traitement
Si A × E B × D
Alors
Écrire « X = »
Afficher X
Écrire « Y = »
Afficher Y
Sinon
Si A × F C × D
Alors écrire « PAS DE SOL »
Sinon
Écrire « INFINITE DE SOL »
Alors écrire « PAS DE SOL »
FinSi
Sortie
Écrire « FIN »
Traduction de la calculatrice :
Texas instrument
Input A
: Input B
: Input C
Input D
: Input E
: Input F
peut avoir un couple solution, aucune solution ou une infinité de solutions.
A, B, D et E ne sont pas proportionnels, les d
eux droites représentatives sont sécantes. Il y a un seul couple
solution, composé des coordonnées du point d’intersection.
A, C, D et F sont proportionnels, on obtient deux équations d’une même droite, il y a une
nité de solutions. Sinon les deux droites sont strictement parallèles et il n’y a aucune solution.
X, Y les valeurs du couple solution éventuel.
Casio
?
→ A
: ?
→ B
: ?
→ C
?
→ D
: ?
→ E
: ?
→ F
peut avoir un couple solution, aucune solution ou une infinité de solutions.
eux droites représentatives sont sécantes. Il y a un seul couple
A, C, D et F sont proportionnels, on obtient deux équations d’une même droite, il y a une

If A × E B × D
Then
(C × E − B × F) ÷ (A × E − B × D)
→ X
(A × F
− C × D) ÷ (A × E − B × D)
→ Y
Disp
»X
=
»
: Disp X
Disp
»Y
=
»
: Disp Y
Sinon
If A × E C × D
Then
Disp
»PAS DE SOL
»
Sinon
Disp
»INFINITÉ DE SOL
»
End
End
Disp
»FIN
»
5. Comment déterminer l’extremum d’une fonction
• Recherche du minimum
Sur l’intervalle [A
; B], on cherche les coordonnées du point le plus bas de la courbe représentative d’une fonction
Pour cela, on balaye l’intervalle avec un pas de
On la compare à la plus petite image obtenue précédemment. Si elle est encore plus petite, elle prend sa place dans la variab
Algorithme
Variables
X (borne inférieure de l’intervalle)
B (borne supérieure de l’intervalle)
N (exposant de la précision)
f la fonction à étudier
A × E − B × D → P
A × F
− C × D → Q
→ X
If P 0
→ Y
Then
»X =
»
(C × E
− B × F) ÷ P
→ X
»Y =
»
(A × F
− C × D) ÷ P
→ Y
Else If Q 0
Then
»PAS DE SOL
»
Else
»INFINITÉ DE SOL
»
IfEnd
IfEnd
»FIN
»
Stop
5. Comment déterminer l’extremum d’une fonction
?
; B], on cherche les coordonnées du point le plus bas de la courbe représentative d’une fonction
Pour cela, on balaye l’intervalle avec un pas de
10-N et on calcule à chaque fois l’image obtenue.
On la compare à la plus petite image obtenue précédemment. Si elle est encore plus petite, elle prend sa place dans la variab
B (borne supérieure de l’intervalle)
; B], on cherche les coordonnées du point le plus bas de la courbe représentative d’une fonction
f.
On la compare à la plus petite image obtenue précédemment. Si elle est encore plus petite, elle prend sa place dans la variab
le.

Entrée
? → A
? → B
? → N
f (A) → M
Traitement
Tant que X < B faire X + 10
−N →
Si f < M
Alors f (X) → M
Fin Si
Fin Tant que
Sortie
Afficher M
Traduction de la calculatrice :
Texas Instrument
Casio
Input A
?
→
A
Input B
?
→
B
Input N
?
→
N
Y1 (A)
→
M
A
→
X
A
→
X
Y1
→
M
While X < B
While X < B
X + 10
(
−N)
→ X
X + 10
(
−N)
If Y1(X) < M
If Y1 < M
Then
Then Y1
→ M
Y1 (X)
→ M
IfEnd
End
WhileEnd
End
M
−N → X
→ X
→ M