Această aplicație gratuită permite utilizatorilor logicii propoziționale să efectueze operațiuni cu aceeași ușurință cu cea oferită de un calculator matematic. Înlesnește elevii de logică, oferind feedback considerabil. Pentru a fi mai precis, folosind această aplicație, se poate determina dacă: (1) introducerea este bine formată și, dacă nu, de ce nu, (2) propozițiile sunt tautologii, contradicții sau contingente, (3) seturi de propoziții sunt consecvente sau inconsistente și (4) argumentele sunt valide sau invalide. De asemenea, produce tabele de adevăr care pot fi copiate în alte aplicații. Din această versiune, calculatorul este limitat la operațiunile semantice.
Ultima actualizare
2 feb. 2023