Propositional Logic - Natural Deduction proof builder
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.