Ova besplatna aplikacija omogućuje korisnicima prijedloške logike da izvode operacije s jednakom lakoćom kao što ih nudi matematički kalkulator. Omogućuje učenicima logike pružanjem značajnih povratnih informacija. Da budemo precizni, pomoću ove aplikacije može se utvrditi je li: (1) ulaz dobro oblikovan, a ako ne, zašto ne, (2) rečenice su tautologije, kontradikcije ili nepredviđene, (3) skupovi rečenica su konzistentni ili nedosljedni i (4) argumenti su valjani ili nevaljani. Također proizvodi tablice istine koje se mogu kopirati u druge aplikacije. Od ove verzije, kalkulator je ograničen na semantičke operacije.