Goals

To create an interpreter for RPL that follows 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 both statement sets and arguments
• Provides an implementation of the truth tree method
• Allows checking for consistency of statement sets and formal validity of arguments (and possibly more, like checking if a statement is a contradiction, tautology, or contingency, and maybe counter-examples)