The Logic Calculator

Met deze gratis app kunnen gebruikers van propositielogica bewerkingen uitvoeren met hetzelfde gemak als dat aangeboden door een wiskundige rekenmachine. Het vergemakkelijkt leerlingen van logica door aanzienlijke feedback te geven. Om precies te zijn, met behulp van deze app kan men bepalen of: (1) input goed is gevormd en, zo nee, waarom niet, (2) zinnen tautologieën, tegenstrijdigheden of contingent zijn, (3) sets van zinnen consistent of inconsistent zijn en (4) argumenten zijn geldig of ongeldig. Het produceert ook waarheidstabellen die naar andere toepassingen kunnen worden gekopieerd. Vanaf deze versie is de calculator beperkt tot semantische bewerkingen.