more on this theme | more from this thinker | more from this text
Full Idea
Modus Ponendo Ponens (MPP): Given A and A→B, we may derive B as a conclusion. B will rest on any assumptions that have been made.
Clarification
often known as just Modus Ponens
Gist of Idea
MPP: Given A and A→B, we may derive B
Source
E.J. Lemmon (Beginning Logic [1965], 1.5)
Book Ref
Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.39