Propositional logic

The logic used to judge the value of arguments that combine propositions, e.g., “if- then” arguments, “both-and” arguments, and “either-or” arguments.