No âmbito da lógica proposicional, as leis de implicação constituem as formas básicas que podem assumir os argumentos válidos, de modo que, se um argumento qualquer tem a mesma forma que uma lei de implicação, então esse argumento é válido. Dentre as leis de implicação, uma particularmente importante é a chamada Modus ponendo ponens, ou simplesmente Modus Ponens, que pode ser assim representada:

Modus Ponens (MP):

\( \dfrac{\alpha \rightarrow \beta \\ \alpha}{\beta} \)

Das alternativas a seguir, assinale aquela cujo argumento corresponde a essa lei de implicação (Modus ponens) e, portanto, expressa CORRETAMENTE um argumento válido: