Propositional Logic

Deals with the relationship between propositions or statements using logical operators such as "and," "or," "not," "if-then," and "if and only if.".