Propositional calculus (also called
propositional logic,
sentential calculus, or
sentential logic) is the branch of
mathematical logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of
logical connectives, and how their value depends on the truth value of their components. Logical connectives are found in natural languages. In English for example, some examples are "and" (
conjunction), "or" (
disjunction), "not” (
negation) and "if" (but only when used to denote
material conditional).