GabLem.com

Calculateur d'arbre de vérité de logique propositionnelle

Une toute nouvelle version du calculateur d'arbre de vérité est désormais disponible à l'adresse suivante : formallogic.com!

Le calculateur d'arbre de vérité est une application web gratuite capable de déterminer la cohérence d'un ensemble de phrases logiques en fonction des règles de la logique propositionnelle. À partir de cet ensemble, l'application peut construire un arbre de vérité et afficher sa représentation graphique en suivant le système logique défini dans le livre The Logic Book par Bergmann, Moor et Nelson.

Vous pouvez utiliser cet outil comme une alternative aux solutions proposées par le manuel des solutions officiel, ou encore trouver les solutions aux problèmes du livre pour lesquels aucune solution n'a été fournie.

Étape 1 : Composer une phrase

Écrivez une phrase symbolique dans la boîte de texte ci-dessous. Entrez n'importe quelles lettres à l'aide de votre clavier et ajoutez les caractères spéciaux en utilisant les boutons mis à votre disposition. Lorsque votre phrase est prête, cliquer sur le bouton "Ajouter" afin d'ajouter la phrase à votre ensemble. Vous pouvez ajouter des phrases additionnelles en répétant cette étape.

Phrases atomiques :
Connecteurs :
Parenthèses :

Étape 2 : Valider votre ensemble

Étape 3 : Obtenir le résultat

Finallement, vous pouvez générer un arbre de vérité en cliquant sur le bouton "Générer l'arbre!" ci-dessous. Si vous ne voyez pas le bouton, c'est probablement parce que votre ensemble est vide ou que vous avez déjà généré un arbre avec l'ensemble actuel.

Une fois que l'arbre est généré, interprétez les résultats. Si toutes les feuilles se terminent par un symbole de croix (✕), alors votre ensemble est incohérent. Autrement, s'il y a au moins une feuille sans le symbole de croix, alors votre emsemble est dit cohérent.