Calculateur d'arbre de vérité
Ce calculateur permet de générer des arbres de vérité pour le système de logique propositionnelle et de logique des prédicats.
phpSyntaxTree Édition Étendue
Durant ma mineure en linguistique, j'ai fait grandement usage de phpSyntaxTree pour créer mes arbres syntactiques et sémantiques. phpSyntaxTree est une application web libre conçue par André Eisenbach.
J'ai effectué des modifications mineures à ce code PHP afin de changer les paramètres par défaut pour ceux qui étaient utilisés dans mon cours de syntax à McGill. J'ai aussi ajouté une option supplémentaire qui permet de cacher les branches terminales. Cette option s'est avérée utile puisque le manuel que l'on utilisait à ce moment (Carnie, 2006) utilisait ce format d'arbre syntactique.