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.

Démarrer le calculateur d'arbre de vérité!