Implication

Implication (an implicative relation, “if ... then ...”) is a logical connective that describes a condition, while Modus Ponens (MP) is a fundamental rule of logical inference that uses implication to derive a conclusion: if the statement “If P, then Q” is true, and we know that P is true, then we may conclude that Q is also true. Thus, implication is the foundation, and MP is the way it is applied in reasoning to assert the consequent.