Deals with propositions or statements that are either true or false, and Boolean operators like AND, OR, NOT.