back to ideas for this text

---

Single Idea 9394

[from 'Beginning Logic' by E.J. Lemmon, in 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL ]

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 Reference

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.39

---