Tato bezplatná aplikace umožňuje uživatelům výrokové logiky provádět operace se stejnou lehkostí, jakou nabízí matematická kalkulačka. Usnadňuje studentům logiky tím, že poskytuje značnou zpětnou vazbu. Abychom byli přesní, pomocí této aplikace je možné určit, zda: (1) vstup je dobře tvarovaný a pokud ne, proč ne, (2) věty jsou tautologiemi, rozpory nebo podmíněnými, (3) sady vět jsou konzistentní nebo nekonzistentní a (4) argumenty jsou platné nebo neplatné. Vytváří také tabulky pravdivosti, které lze kopírovat do jiných aplikací. Od této verze je kalkulačka omezena na sémantické operace.
Datum aktualizace
2. 2. 2023