Propositional calculus

Propositional calculus is a branch of mathematics that deals with statements (called "propositions") that can be either true or false. In propositional calculus, you use symbols and/or words to represent propositions. Then, using rules of logic, you can figure out whether a given statement is true or false! It's like solving puzzles!