Before revision: Hence de modo ponente , [P ∧ (P → Q)] ⇒ Q, is a valid logical conclusion according to the definition of logical implication just stated.
After revision: Hence modus ponens , [P ∧ (P → Q)] ⇒ Q, is a valid logical conclusion according to the definition of logical implication just stated.