About Natural Deduction
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....
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
Previous Versions
Here you can find the changelog of Natural Deduction since it was posted on our website on 2016-10-17 15:25:28.
The latest version is 1.5 and it was updated on 2024-04-19 21:04:55. See below the changes in each version.
Natural Deduction version 1.5
Updated At: 2015-05-07
Changes: Better display
Disclaimer
Official Google Play Link
We do not host Natural Deduction on our servers. We did not scan it for viruses, adware, spyware or other type of malware. This app is hosted by Google and passed their terms and conditions to be listed there. We recommend caution when installing it.
The Google Play link for Natural Deduction is provided to you by apps112.com without any warranties, representations or guarantees of any kind, so access it at your own risk.
If you have questions regarding this particular app contact the publisher directly. For questions about the functionalities of apps112.com contact us.
