Propositional Logic - Natural Deduction proof builder 教育 tim selier - 7月 10, 2013 This app will enable you to build a propositional logic proof via natural deduction. Proofpieces or inference rules, are represented by blocks which y …
