The Logic Calculator

Mit dieser kostenlosen App können Benutzer von Aussagenlogik Operationen genauso einfach ausführen wie mit einem mathematischen Taschenrechner. Es erleichtert den Lernenden der Logik, indem es ein beachtliches Feedback gibt. Um genau zu sein, kann man mit dieser App bestimmen, ob: (1) die Eingabe wohlgeformt ist und, falls nicht, warum nicht, (2) Sätze Tautologien, Widersprüche oder Kontingente sind, (3) Sätze sind konsistent oder inkonsistent und (4) Argumente sind gültig oder ungültig. Es werden auch Wahrheitstabellen erstellt, die in andere Anwendungen kopiert werden können. Ab dieser Version ist der Rechner auf semantische Operationen beschränkt.