ID: org.inria.peanoware
Version: 1.5
Size: 1.1 Mb
Natural Deduction Screenshots
How to setup Natural Deduction apk for android
- For Android 4.0 or higher:Please to Settings, look down to Security, and select Unknown sources. Choosing this choice will enable to install apps download from the internet.
- For devices running on lower Android 4.0:
Please go to Settings - open the Applications option, and select Unknown sources, click OK on the popup alert.
Natural Deduction Description
Play with this app and build some proofs in natural deduction style.Clicking on a formula automatically expands it with possible rules.
Assumptions are printed in blue. Selected one of them generates a new subtree.
Attaching two trees is done by dragging the root of the first one to the leaf of the second one.
If there only one possibility, this attachment is performed automatically.
The proof is done when the tree is surrounded by a red rectangle.
Have fun! Logic is fun
What's new in Natural Deduction 1.5
Better displayDownload Natural Deduction 1.5 unlimited APK
Search terms:
How to download Natural Deduction 1.5 unlimited apk for bluestacks
How to use Natural Deduction unlimited apk
How to mod Natural Deduction 1.5 apk
How to get Natural Deduction mod apk