The material conditional is a binary operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false.