Intéressante discussion entre matheux.

Bonjour,
Réf. : https://les-mathematiques.net/vanilla/index.php?p=/discussion/2332397/tautologie
C'est un échange qui mérite vraiment d'être lu si on s'intéresse un peu à ces sujets (mathématiques, logique, démonstration, argumentation, rigueur etc.).

Le forum logique ne donne pas l'impression de rendre les gens heureux de faire des maths.
Ils se battent tout le temps,
Et pour résoudre quoi au final?

Bonsoir Beagle,
Tout à fait d'accord.
Quand j'ai découvert ces notions, à l'occasion de lectures de forum, je me suis demandé l'intérêt.
Je n'ai pas eu de réponse, mais j'ai l'intuition que c'est dans le but de développer les IA. Le logiciel Coq "rédige" des démonstrations. Les langages informatiques ne connaissent à la base que les 4 opérations. Tout le reste en est issu. On a inventé l'algèbre de Boole comme outil logique, mais peut-être cela ne suffit pas pour certaines choses. En algèbre de Boole, les variables dont des vérités vraies ou fausses. Si on veut traiter non plus des vérités, mais des hypothèses, alors il faut peut-être autre-chose.
Pour faire simple : "il pleut" est une vérité [fausse ici et à ce moment".
Par contre {"je vois un individu avec un parapluie" c'est une affirmation, "j'en conclue qu'il pleut"}, là ça ne se résout pas avec l'algèbre de Boole.
Cette logique traite de propositions et non de faits (ie vérité vraie ou fausse).
C'est pour cela que la proposition "Tintin est une fille implique que le suis le Pape" est une proposition vraie.

J'ajoute que tout ceci est une hypothèse personnelle, je n'ai jamais réussi à avoir de confirmation ni d'infirmation, encore moins d'exemple d'utilisation.

Je vais tenter un exemple avec les échecs. Je précise que je ne joue pas aux échecs.
Donc, étant donné une certaine situation des pièces, on arrive à deux hypothèses possibles. Parmi ces deux hypothèse, l'une correspond à un coup connu l'autre, correspond à un coup tenté et réussi par hasard et il y a longtemps, donc, non répertorié dans les coups connus. La proposition consiste à choisir l'un des deux coups.
Beagle, tu dois sauter au plafond devant cet exemple, mais je crois que c'est l'esprit.
Je me rappelle le patron d'un laboratoire d'analyse médicale, il avait cette capacité de mémoire phénoménale qui lui permettait d'identifier un cas rare et auquel personne n'avait pensé.