NaturalDeduction
Description
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.
Product ID:
9NDB7HZ5PFM0
Release date:
2017-01-06
Last update:
2022-03-12