Propositional Logic Propositional Logic https://en.wikipedia.org/wiki/Propositional_calculus https://www.iep.utm.edu/prop-log/ https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)