This free app allows users of propositional logic to perform operations with the same ease as that offered by a mathematical calculator
The Logic Calculator
What is it about?
This free app allows users of propositional logic to perform operations with the same ease as that offered by a mathematical calculator. It facilitates learners of logic by providing considerable feedback. To be precise, using this app, one can determine whether: (1) input is well-formed and, if not, why not, (2) sentences are tautologies, contradictions or contingent, (3) sets of sentences are consistent or inconsistent and (4) arguments are valid or invalid. It also produces truth tables which can be copied into other applications. As of this version, the calculator is restricted to semantic operations.
App Screenshots
App Store Description
This free app allows users of propositional logic to perform operations with the same ease as that offered by a mathematical calculator. It facilitates learners of logic by providing considerable feedback. To be precise, using this app, one can determine whether: (1) input is well-formed and, if not, why not, (2) sentences are tautologies, contradictions or contingent, (3) sets of sentences are consistent or inconsistent and (4) arguments are valid or invalid. It also produces truth tables which can be copied into other applications. As of this version, the calculator is restricted to semantic operations.
AppAdvice does not own this application and only provides images and links contained in the iTunes Search API, to help our users find the best apps to download. If you are the developer of this app and would like your information removed, please send a request to takedown@appadvice.com and your information will be removed.