Propositional Logic

It is the study of propositions and their logical relationships, typically represented using symbols such as "and," "or," and "not".