Boolean algebra, and other forms of abstract propositional logic, ... For example, if proposition X is true, and proposition Y is true, then the compound proposition "X and Y" is also true.

Propositional logic is also called propositional calculus, sentential logic, statement logic and sentence logic. It is a formalism that is useful for analyzing certain arguments (deductions) that ...