Propositional Logic - Natural Deduction proof builder app for iPhone and iPad
4.2 (
6672 ratings )
Utilities
Education
Developer:
tim selier
4.99 USD
Current version:
1.0, last update: 7 years ago
First release : 09 Jul 2013
App size: 1.98 Mb
This app will enable you to build a propositional logic proof via natural deduction. Proofpieces or inference rules, are represented by blocks which you can just drag and drop on each other to construct a bigger proof.