Propositional Logic
The propositional calculus is a mathematical system for reasoning about the truth or falsity of statements.
The statements are made up from atomic statements using AND, OR, NOT, and their variations.
A more powerful representation system is the predicate calculus. It’s an extension of the propositional calculus.