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.