The Logic Calculator

Cette application gratuite permet aux utilisateurs de la logique propositionnelle d'effectuer des opérations avec la même facilité que celle offerte par une calculatrice mathématique. Il facilite les apprenants de la logique en fournissant un retour considérable. Pour être précis, en utilisant cette application, on peut déterminer si: (1) l'entrée est bien formée et, sinon, pourquoi pas, (2) les phrases sont des tautologies, des contradictions ou des contingentes, (3) des ensembles de phrases sont cohérents ou incohérents et (4) les arguments sont valides ou invalides. Il produit également des tables de vérité qui peuvent être copiées dans d'autres applications. A partir de cette version, la calculatrice est limitée aux opérations sémantiques.