-
Notifications
You must be signed in to change notification settings - Fork 1
Goals
Pedro Fanha edited this page Feb 4, 2019
·
9 revisions
To create an interpreter for RPL following as closely as possible the rules of the book "Meaning and Argument: An Introduction To Logic Through Language", by Ernest Lepore & Sam Cumming, such that it:
- Understands statement sets, arguments, and single statements
- Provides an implementation of the truth tree method
- Allows checking for consistency of statement sets, formal validity of arguments, whether a statement is a contradiction/tautology/contingency (and possibly counter-examples)