This project define some classes (variables, quantifiers, predicates and clauses) and methods for First Order Logic (FOL) that extend the Propositional Logic semantics and methods that are built-in in ...

For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...