The Logic Calculator

Questa app gratuita consente agli utenti della logica proposizionale di eseguire operazioni con la stessa facilità di quella offerta da un calcolatore matematico. Facilita gli studenti di logica fornendo un feedback considerevole. Per essere precisi, utilizzando questa app, è possibile determinare se: (1) l'input è ben formato e, in caso contrario, perché no, (2) le frasi sono tautologie, contraddizioni o contingenti, (3) serie di frasi sono coerenti o incoerenti e (4) gli argomenti sono validi o non validi. Produce anche tabelle di verità che possono essere copiate in altre applicazioni. A partire da questa versione, il calcolatore è limitato alle operazioni semantiche.