Considere o seguinte argumento: (p➝q) ➝ (r➝s), p➝q | r➝s A regra de inferência que justifica a validade do argumento acima é: Escolha uma: a. Redução

----

Para identificar o argumento do enunciado, ele deve ser interpretado adequadamente. Com isso, tem-se o seguinte:

• Tem-se dois eventos: \((p \to q)\) e \((r \to s)\).
• Pela relação \((p \to q) \to (r \to s)\), tem-se que o evento \((p \to q)\) implica no evento \((r \to s)\).
• A relação \(p \to q \, |\, r \to s\) diz que, se o evento \((p \to q)\) for verdadeiro, o evento \((r \to s)\) também será verdadeiro.

----

O argumento descrito anteriormente diz respeito à regra de inferência chamada Modus ponens (ou Modus ponendo ponens), que significa "a maneira que afirma afirmando". Portanto, a alternativa assinalada é a alternativa c. Modus ponens.

----

Concluindo, a alternativa correspondente à regra de inferência do argumento do enunciado é a alternativa c. Modus ponens.