Observe agora a comprovação da implicação lógica de MP - Modus Ponens:

1º) Juntam-se as premissas por meio da conjunção (p → q) ∧ p.

2º) Verifica-se a implicação de (p → q) ∧ p ⇒ q.

Ou seja:

Tautologia da condicional está comprovada! Logo, a implicação lógica também.