Material conditional

Logical connective

The material conditional (also known as material implication) is a binary operation commonly used in logic. When the conditional symbol → {\displaystyle \to } is interpreted as material implication, a formula P → Q {\displaystyle P\to Q} is true unless P {\displaystyle P} is true and Q {\displaystyle Q} is false. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics.

From Wikipedia, under CC BY-SA. More on occurri.