Proof generator and proof checker for propositional logic in "natural deduction" style.
- Generates proofs for truth-functional logic in "natural deduction" style.
Published byJukka Häkkinen
Approximate size19.07 MB
Age ratingFor all ages
CategoryEducation > Study guides
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.