Considere o seguinte argumento: (p q) (r s), p q mid r s
A regra de inferência que justifica a validade do argumento acima é:
Escolha uma:
a. Redução ao absurdo.
b. Silogismo destrutivo.
c. Modus tollens.
d. Silogismo construtivo.
e. Modus ponens.

Passo 1

Resumindo o enunciado: temos as premissas
1;(p to q) to (r to s)
2;p to q
e queremos concluir
r to s
O conteúdo aqui é lógica proposicional, mais especificamente aplicação de regra de inferência sobre implicações.

Passo 2

Identificamos a forma padrão da regra de inferência conhecida por modus ponens: dada uma fórmula varphi to psi e dada a fórmula varphi, podemos inferir psi.

Passo 3

Fazendo o paralelismo com nossas premissas, tomamos
varphi := p to q, psi := r to s
Então a premissa 1 é varphi to psi e a premissa 2 é exatamente varphi.

Passo 4

Aplicando modus ponens a
varphi to psi (premissa 1)
e
varphi (premissa 2),
inferimos
psi,
ou seja
r to s

Resposta

e. Modus ponens

Exercícios relacionados