Bonjour,
j’aimerais trouver un petit logiciel pour faire des calculs de logique simple comme table de vérité …
un logiciel du genre du logiciel implanté sur ce site
de plus est-ce que des logiciels existent sous debian pour faire des dialogues dialogiques ?
Apparemment, scilab est capable de le faire : http://fr.wikipedia.org/wiki/Scilab#Bool.C3.A9ens
A tester mais fran t’en diras surement plus que moi.
[quote=“sidell”]Bonjour,
j’aimerais trouver un petit logiciel pour faire des calculs de logique simple comme table de vérité …
[/quote]
Table de vérité : courseware.ee.calpoly.edu/~rsand … lorer.html
[quote=“dmon”][quote=“sidell”]Bonjour,
j’aimerais trouver un petit logiciel pour faire des calculs de logique simple comme table de vérité …
[/quote]
Table de vérité : courseware.ee.calpoly.edu/~rsand … lorer.html[/quote]
C’est mieux qu’une table de vérité, ça fait des tableaux de Karnaugh qui aident à la réalisation de circuit logique.
Tu veux faire quoi exactement sidell?
[quote=“dmon”][quote=“sidell”]Bonjour,
j’aimerais trouver un petit logiciel pour faire des calculs de logique simple comme table de vérité …
[/quote]
Table de vérité : courseware.ee.calpoly.edu/~rsand … lorer.html[/quote]
Très bon pour les fainéants :smt003
[quote=“fran.b”]
Tu veux faire quoi exactement sidell?[/quote]
en fait c’est pour faire des petits calculs de logique philosophique.
Ce qui m’intéresse surtout c’est les dialogues de logique dialogique en logique intuitionniste plutôt qu’en classique (logique qui n’admet donc pas la révision).
Connaissez-vous un logiciel qui permet de vérifier des résultats de logique intuitionniste ?
Que veux tu dire par logique n’admettant pas les révisions, la logique intuitionisme est surtout marquée par le refus du tiers exclus. Elle est surtout rapidement pénible et à mon avis guère intéressante (même si la démarche de départ est une bonne idée). Quant à un logiciel validant des axiomes, c’est carrément de l’intelligence artificiele que tu veux doc. Je ne crois pas qu’il y ait ça, intéresse toi à prolog.
Au niveau philosophique la logique intuitionniste est beaucoup plus intéressante que la logique classique, en partie parce qu’elle permet d’obtenir plus tôt des résultats.
Mais quand tu dis qu’elle n’est pas intéressante, je doute. Il y a eu une petite révolution dans la logique intuitionniste quand quelque grands noms de la logique informatique ont préféré cette logique à la logique classique pour les modèles théoriques informatiques.
Aujourd’hui une bonne partie de la recherche en logique informatique se fait en logique intuitionniste.
Sinon quand je parlais de la révision, je faisais référence au fait que dans un dialogue dialogique ou un proposant et un opposant joue une proposition logique (fr.wikipedia.org/wiki/Logique_du_dialogue) , le proposant ne peut pas réviser son argumentation, s’il a répondu quelque chose, il ne peut pas revenir sur sa réponse alors que dans un dialogue en logique classique il le peut, c’est pour cela que le principe du tier exclu n’est pas accépté en logique intuitionniste car il est optenu avec révision.
Bref mais je ne connais pas assez bien le sujet pour en parler
quand au logiciel, je veux juste un logiciel où je peux entrer les régles du dialogue que je veux jouer et qu’il le joue à ma place.
De la logique linéaire, ou des assistants de preuve, ça t’irait ?
coq.inria.fr/coq-fra.html
fr.wikipedia.org/wiki/Catégorie:Assistant_de_preuve
coq existe encore? C’est rigolo, j’ai travaillé dessus en 85…