Qual a regra de inferência utilizada em cada um dos argumentos a seguir?
Se eu trabalhar a noite toda nesta tarefa de casa, então posso resolver todos os exercícios. Se eu resolver todos os exercícios, eu entenderei o material. Por isso, se eu trabalhar à noite nesta tarefa, então eu entenderei o material.
Se eu trabalhar a noite toda nesta tarefa de casa, então posso resolver todos os exercícios. Se eu resolver todos os exercícios, eu entenderei o material. Por isso, se eu trabalhar à noite nesta tarefa, então eu entenderei o material.
Passo 1
Resumindo o enunciado: temos dois condicionais encadeados—“se eu trabalhar a noite toda nesta tarefa de casa, então posso resolver todos os exercícios” e “se eu resolver todos os exercícios, eu entenderei o material”—e a conclusão “se eu trabalhar à noite nesta tarefa, então eu entenderei o material”. O conteúdo é lógica proposicional, mais especificamente inferência com implicações.
Passo 2
Vamos formalizar em símbolos: seja
= “eu trabalhar a noite toda nesta tarefa de casa”,
= “posso resolver todos os exercícios”,
= “eu entenderei o material”.
As premissas viram e a conclusão é
As premissas viram
Passo 3
A regra de inferência que permite, a partir de
e
, chegar em
chama-se silogismo hipotético (ou transitividade da implicação).
Resposta
Silogismo hipotético.