Intéressant. Moi par contre, je suis plutôt schéma visuel que formule (même si j'ai fini par m'habituer aux formules). Par exemple, si je voulais illustrer son histoire de majeurs, de mineurs et de pouvoir boire de l'alcool, j'aurais dessiné une sorte de diagramme de Venn avec des bulles qui représentent chaque cas et qui peuvent s'inclure totalement ou partiellement les unes dans les autres, et on verrait tout de suite le sens de la déduction. Je trouve ça plus simple que ses petits carrés et sa flèche tortillée. Même chose pour la réfutation avec les cartes bleues et les dames, remarque.
Je pense que bien des erreurs de logique chez les gens proviennent peut-être qu'ils essaient trop de rentrer ça dans de la linéarité. Nos phrases sont forcément linéaires, parce qu'elles proviennent du langage, qui a été inventé pour être énoncé verbalement dans un temps donné. Mais rien n'oblige de faire ça dans notre tête. Dans le lien entre le rhume et la fièvre par exemple, à la place d'avoir la règle [A-->X] dans une case, coincée avec l'affirmation [X] dans les prémisses, et la conclusion de l'autre côté, je trouve beaucoup plus simple de visualiser la règle tout court: un cercle "Fièvre", un 2e cercle "Rhume" qui débouche sur le premier avec une flèche à sens unique. Dès que la règle est évidente, n'importe quelle affirmation se valide tout de suite.
J'ai fini par apprendre ces formules de la logique avec le temps, dans des cours de métho, et sur le web, parce que c'est vraiment utile dans certains débats, pour démêler des malentendus et des sophismes mais personnellement, dans ma tête j'utilise pas les concepts de «prémisses», «conclusion», «antécédents», etc. à tout bout de champ. Je m'occupe de bien comprendre la règle et je me laisse aller.
Je serais curieux de savoir si MadChuck est plus du type formules.