Propositional Logic Resolver app for iPhone and iPad

4.8 ( 4128 ratings )

Education Utilities
Developer: Quang Phan

0.99 USD

Current version: 2.1.0, last update: 1 year ago
First release : 27 May 2021
App size: 99.78 Mb

+ Step by step answers
Not only the correct answers but the app provide a series of logical equivalences and inference rules to get the answers.

+ Resolve the most common problems
Simplify compound propositions, Propositional equivalences, Validate an argument.

+ No internet connection required.
Resolve your problems anywhere without internet.

+ Important logical equivalences and inference rules.
Check logical equivalences and inference rules again if you forget them.

+ Dark mode
Save your battery and your eyes.