Proof generator and proof checker for propositional logic in "natural deduction" style.
- Generates proofs for truth-functional and modal logic S5 in natural deduction style. Checks proofs that you yourself build. Saves your proofs on your device.
Published byJukka Häkkinen
Approximate size30.9 MB
Age ratingFor ages 3 and over
CategoryEducation > Study guides
This app canClose themselves and their own windows, and delay the closing of their app
Access your Internet connection
InstallationGet this app while signed in to your Microsoft account and install on up to ten Windows 10 devices.
This product needs to be installed on your internal hard drive.