Natural Deduction. Proof generator. Proof checker.

The description of Natural Deduction. Proof generator. Proof checker.
A tool for natural deduction in classical logic.

- Get assistance by generating proofs with proof generator.
- Develop your deduction skills and prepare school exercises with proof checker. Proof checker walks with you and checks validity of your proof at every step.
- Generate random tasks to practice with.
- Save your proofs and drafts to your device.
Changelog / What's New
Natural Deduction proof generator and proof checker.

Natural Deduction. Proof generator. Proof checker. 1.1 for Android 4.0.3+ APK Download

Category: Free Education App
Publish Date: October 18, 2018
Latest Version: 1.1
Get it on: Get Natural Deduction. Proof generator. Proof checker. on Google Play
Requirements: Android 4.0.3+
Content Rating: Everyone
Installs: 50+
Offered By: Jukka Häkkinen
Searching...
online