Propositional Logic - Natural Deduction proof builder
By tim selier
Open iTunes to buy and download apps.
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.