Aaron Mansheim, 2002, following a locally printed textbook by Harlan Miller at Virginia Tech, 1991.
Design of Logic System.md
- A word about design of a simple proof checker.
proof.py
- Definitions for writing proofs in propositional logic using Python.
examples.py
- Various examples of checking proofs in propositional logic using Python.
mpc.py
- Definitions for writing proofs in quantifier logic using Python.
mpcexamples.py
- Various examples for writing proofs in quantifier logic using Python.
socrates.py
- Checking a familiar syllogism in quantifier logic using Python.