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.