This refers to the study of propositions and logical operators, such as "and," "or," "not," and "if-then.".