Propositional logic is the area of logic which deals with propositions, it is sometimes referred to as boolean logic.