Implication

In formal logic, “implication” is the name commonly given to the substitution of one of the statements for another, where the two are truth-functionally equivalent: ¬ P V Q :: P → Q. More generally, what the premises in an argument imply—that is, the conclusion.