send link to app

Propositional Logic - Natural Deduction proof builder


4.2 ( 6672 ratings )
Utilitários Ensino
Developer: tim selier
4.99 USD

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.