Quelques remarques issues de la deuxième journée du stage

(J’étais absent de la première journée, à cause des conférences pour les 10 ans de l’IREM ; un compte-rendu plus complet est ici)

• La notation est à éviter car elle est ambigüe. En effet on peut l’interpréter par

  

  ou par

  

  qui n’ont pas la même signification (René Cori a mis leurs tables de vérité au tableau pour nous en convaincre).
• René Cori déconseille de placer des quantificateurs à la fin comme dans «  est positif pour tout réel ». En effet la majorité des élèves ont une perception de la phrase qui est linéaire dans le temps, et ne comprennent tout simplement pas ce genre de phrase. La parade est évidemment de prendre l’habitude le plus tôt possible de mettre le quantificateur au début : .
• Il est peut-être plus simple, plutôt que d’expliquer ce que signifie , d’expliquer ce que signifie sa négation : C’est . René Cori conseille de mettre ça dans le cours, le plus tôt possible, afin de pouvoir arriver à ceci :
• Par conséquent la négation de est ...
• Une stagiaire a proposé comme illustration de la notion de contraposée, la démonstration de « Si est impair alors est impair ». De façon générale, la plupart des stagiaires avaient faim d’exemples traitables en Seconde ; personnellement je suis un peu resté sur ma faim...
• À ce propos, René Cori a proposé, lui, comme exemple de contraposée, de chercher la contraposée de « Si tu as faim, il y a de la viande dans le frigo » ! L’explication : le mot « si » a plusieurs significations dans la langue française, et ne représente pas toujours une implication.
• Par contre, « halte ou je tire » est bien une implication, comme on peut s’en rendre compte en transformant en .
• René Cori déconseille également d’utiliser la notation «  » pour « donc » parce que «  » et «  donc  » n’ont pas la même signification.
• René Cori préfère la notation à la notation probabiliste pour le contraire. En effet la deuxième notation ne fait pas référence à l’ensemble contenant.
• Sur le lien entre probabilités et logique, René Cori déconseille de « remplacer » les implications par des inclusions, en faisant (essayer de) construire le tableau suivant :

logique	probabilités
	?

On serait tenté de mettre dans la dernière case, mais on ne peut pas puisque dans les autres cas, il s’agit d’opérations entre ensembles (le résultat est un ensemble) mais est une proposition et pas un ensemble. Remarque personnelle : Il y a quand même un lien entre implication et inclusion puisque ...

Différentes sortes de raisonnement :

• Des exemples d’application du raisonnement par conditions nécessaires : René Cori propose les problèmes des lieux (ou de lignes de niveau). Il n’est pas question de raisonner par condition nécessaire sans parler aussi des conditions suffisantes.
• Le raisonnement par contraposition n’est pas le raisonnement par l’absurde : Le raisonnement par contraposition consiste juste à démontrer pour démontrer . Alors que le raisonnement par l’absurde (pour montrer ) consiste à supposer le contraire, soit , et à montrer (antilogie) à partir de là. Remarque personnelle : Il y a bien un lien entre les deux types de raisonnement lorsque ce n’est pas une implication qu’on cherche à montrer par l’absurde, puisque dans ce cas c’est qu’on démontre (on suppose fausse et on en déduit une absurdité) et que la contraposée de est ce qui revient bien à démontrer .
• Raisonnement par disjonction des cas : René Cori donne comme exemple la classique démonstration de l’existence de deux nombres et irrationnels tels que soit lui aussi irrationnel (ici il y a deux cas : ou bien ou bien non ; la démonstration n’est qu’une démonstration d’existence, qui faillit à dire lequel des cas est le bon ! En fait, est irrationnel mais ce n’est pas avec la démonstration par disjonction des cas qu’on le sait).
• Le raisonnement par récurrence est basé sur la propriété suivante :

Toute partie non vide de admet un plus petit élément.

Par conséquent il peut éventuellement être abordé assez tôt (c’est l’opinion de René Cori, on n’est pas obligé de la partager !) Par exemple, à la question de la recherche d’un exemple, il a proposé la démonstration de , où désigne la suite de Fibonacci).

René Cori interprête la classique erreur dans les démonstrations par récurrence, par le passage de l’hypothèse de récurrence à qui est une évidence. En ce sens, la fameuse erreur de récurrence est un problème de parenthèse mal placée !

Il y a deux sortes de raisonnements par récurrence :

1. Celui basé sur
2. et celui basé sur .

Un exemple d’utilisation de la deuxième version est la démonstration de la propriété « tout entier supérieur ou égal à 2 a un diviseur premier ».