Aquesta aplicació gratuïta permet als usuaris de lògica proposicional realitzar operacions amb la mateixa facilitat que la que ofereix una calculadora matemàtica. Facilita als estudiants de la lògica proporcionant comentaris molt importants. Per a ser precisos, utilitzant aquesta aplicació, es pot determinar si: (1) l’entrada està ben formada i, si no, per què no, (2) les frases són tautologies, contradiccions o contingents, (3) conjunts d’oracions són consistents o inconsistents. i (4) els arguments són vàlids o no vàlids. També produeix taules de veritat que es poden copiar en altres aplicacions. A partir d’aquesta versió, la calculadora es restringeix a operacions semàntiques.
Data d'actualització:
2 de febr. 2023