The material conditional (also known as material implication) 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.

Material implication is used in all the basic systems of classical logic as well as some nonclassical logics.