tim selier

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 y...