Considere o seguinte argumento:
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.
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
e queremos concluir
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
e dada a fórmula
, podemos inferir
.
Passo 3
Fazendo o paralelismo com nossas premissas, tomamos
Então a premissa
é
e a premissa
é exatamente
.
Passo 4
Aplicando modus ponens a
(premissa 1)
e
(premissa 2),
inferimos
e
inferimos
ou seja
Resposta
e. Modus ponens