That is, propositions are those things which can be true or false. In mathematics, our goal is to establish mathematical truths by proving statements that hold. Propositional logic deals with such statements and compound propositions that combine together Definition: A proposition is a statement that can be either true or false; it must be one or the other, and it cannot be both. Notes: There are two types of logic operators: { Those that operate on a single proposition (unary) { Those that oper