You are using an outdated browser. Please
upgrade your browser to improve your experience.
This app will enable you to build a propositional logic proof via natural deduction
Propositional Logic - Natural Deduction proof builder
by tim selier
What is it about?
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.
App Screenshots
App Store Description
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.
Disclaimer:
AppAdvice does not own this application and only provides images and links contained in the iTunes Search API, to help our users find the best apps to download. If you are the developer of this app and would like your information removed, please send a request to takedown@appadvice.com and your information will be removed.
AppAdvice does not own this application and only provides images and links contained in the iTunes Search API, to help our users find the best apps to download. If you are the developer of this app and would like your information removed, please send a request to takedown@appadvice.com and your information will be removed.
