The Logic Calculator

Ta bezpłatna aplikacja pozwala użytkownikom logiki zdaniowej wykonywać operacje z taką samą łatwością, jaką oferuje kalkulator matematyczny. Ułatwia uczącym się logiki, zapewniając znaczną informację zwrotną. Mówiąc ściślej, za pomocą tej aplikacji można ustalić, czy: (1) dane wejściowe są dobrze sformułowane, a jeśli nie, to dlaczego (2) zdania są tautologiami, sprzecznościami lub przypadkami, (3) zestawy zdań są spójne lub niespójne oraz (4) argumenty są poprawne lub niepoprawne. Tworzy również tabele prawdy, które można skopiować do innych aplikacji. Od tej wersji kalkulator jest ograniczony do operacji semantycznych.