Implication

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A binary truth-functional connective (usually written →) under material implication semantics that is false exactly when the antecedent is true and the consequent is false, and true in all other classical valuations.