Denne gratis appen lar brukere av proposisjonell logikk utføre operasjoner med samme letthet som det som tilbys av en matematisk kalkulator. Det letter lærerne om logikk ved å gi betydelig tilbakemelding. For å være presis, ved å bruke denne appen, kan man bestemme om: (1) innspill er velformet og, hvis ikke, hvorfor ikke, (2) setninger er tautologier, motsetninger eller kontingent, (3) sett med setninger er konsistente eller inkonsekvente og (4) argumenter er gyldige eller ugyldige. Den produserer også sannhetstabeller som kan kopieres til andre applikasjoner. Fra denne versjonen er kalkulatoren begrenset til semantiske operasjoner.