An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
-
Updated
Jun 18, 2019 - Python
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
A propositional calculus expert system.
A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
This project involves creating, an expert system in proposal calculation. In other words, a program that can reason on a set of rules and initial facts to deduce other facts.
An expert system for propositional calculus
Add a description, image, and links to the propositional-calculus topic page so that developers can more easily learn about it.
To associate your repository with the propositional-calculus topic, visit your repo's landing page and select "manage topics."