Démonstration mathématique : travailler l’argumentation logico-déductive

Bonjour à toutes et tous !

Julien DURAND (mon frangin) m’a parlé d’un programme sympa qui est sur la Forge (quelle force de partage cet outil !)

Bref, un professeur de philosophie, Cédric EYSSETTE, a fait un programme pour conduire un argumentaire à coup de promisse et d’objection.

Et franchement pour travailler l’argumentation ça avait l’air sympa, Julien m’a évoqué le problème du vocabulaire … et … bien j’ai traduit et je suis allé un peu plus loin.

Le programme vérifie sur les données sont dites vérifiées (proposition vraie) ou non(proposition non vérifiée)

J’ai ajouté les barres vertes et rouges (verte ce que l’on sait, et rouge ce que l’on souhaite démontrer.

On peut donc donner un schéma par défaut :

https://mathix.org/dem_map

ou via un lien plus complexe qui réaffiche un raisonnement (oui, on peut sauvegarder le raisonnement via l’url!!)

https://mathix.org/dem_map/#[{%22id%22:%22p1%22,%22text%22:%22proposition%201%22,%22x%22:650,%22y%22:275,%22lineType%22:%22solid%22},{%22id%22:%22c1%22,%22text%22:%22Conclusion%22,%22x%22:883,%22y%22:783,%22lineType%22:%22solid%22},{%22id%22:%22p2%22,%22text%22:%22proposition%202%22,%22x%22:1123,%22y%22:373,%22lineType%22:%22solid%22},{%22id%22:%226c8cf%22,%22type%22:%22donc%22,%22from%22:[%22p2%22],%22to%22:%22c1%22},{%22id%22:%222jx6v%22,%22text%22:%22Proposition%22,%22x%22:634,%22y%22:106,%22lineType%22:%22solid%22}]

Alors l’utilisation, pour quoi faire ?

Et bien sinon on parlait de raisonnement? Comment s’en saisir?

Si on donnait toutes les informations que l’on a et ce que l’on souhaite trouver? Voilà un outil pour présenter une réflexion, un raisonnement sans forcément écrire!

Puis ensemble on créé un raisonnement par étape.

Pour voir les fonctionnalités, glissez la souris sur le ⓘ.

L’IA

Et le mieux c’est que l’on peut donner à une IA… Un exercice et lui demander de formater cela pour que cela génère les données initiales et ce que l’on souhaite.

Voilà pour l’instant le jet donné par chatGPT… (il y a juste l’artefact de la bulle DONNEES), mais il les place correctement.

https://mathix.org/dem_map/#%5B%7B%27id%27%3A%20%271%27%2C%20%27text%27%3A%20%27Donn%C3%A9es%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%2050%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%272%27%2C%20%27text%27%3A%20%27DC%20%3D%2025%20cm%27%2C%20%27x%27%3A%20150%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%273%27%2C%20%27text%27%3A%20%27BC%20%3D%2026%20cm%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%274%27%2C%20%27text%27%3A%20%27AO%20%3D%206%20cm%27%2C%20%27x%27%3A%20450%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%275%27%2C%20%27text%27%3A%20%27AB%20%3D%208%20cm%27%2C%20%27x%27%3A%20600%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%276%27%2C%20%27text%27%3A%20%27Calcul%20%3A%20Aire%20du%20triangle%20BDC%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%20300%2C%20%27lineType%27%3A%20%27solid%27%7D%5D

On peut aussi imaginer donner toutes les propositions (même intermédiaire) et de demander l’enchaînement logicodéductif.

Le programme permet de sauvegarder (on clique et on enregistre l’url), et aussi on peut générer une image!

Bref, je dois faire une formation dans une semaine sur les TAPI, je crois que je vais en parler un peu!! 🙂

Oui, ça donne des idées….

Il est même possible de réfléchir à un exerciseur pour s’entraîner à créer des raisonnement logico-déductif sans que ce soit des maths d’ailleurs juste de la logique pure….

Bon, ce programme n’aurait pas vu le jour sans la petite puce à l’oreille ,en communiquant avec moi sur un programme du prof de philo, de Julien DUDU, mon frère, ni son test pour générer une url via chat-GPT (il a fallu aussi retravailler le programme pour qu’il accepte le code URI de chat-GTP qui n’en démord pas)

A propos de l'auteur : blank

Enseignant de mathématiques : collège Belle-vue de Loué Membre de l'équipe du "Rallye mathématique de la Sarthe" blog : mathix.org

a écrit 1208 articles sur mathix.org.

Vous avez aimé cet article ? Alors partagez-le avec vos amis en cliquant sur les boutons ci-dessous :

Licence Creative Commons

Démarrez une conversation

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *