Qual a regra de inferência usada em cada um dos argumentos abaixo?
Se eu for nadar, então eu ficarei no sol por muito tempo. Se eu ficar no sol por muito tempo, então eu me queimarei. Por isso, se eu for nadar, eu me queimarei.
Se eu for nadar, então eu ficarei no sol por muito tempo. Se eu ficar no sol por muito tempo, então eu me queimarei. Por isso, se eu for nadar, eu me queimarei.
Passo 1
O enunciado apresenta duas condicionais e chega a uma terceira:
Se eu for nadar, então eu ficarei no sol por muito tempo.
Se eu ficar no sol por muito tempo, então eu me queimarei.
Conclusão: se eu for nadar, eu me queimarei.
O conteúdo é lógica proposicional, e precisamos reconhecer qual regra de inferência permite passar de duas condicionais encadeadas para uma terceira.
Se eu for nadar, então eu ficarei no sol por muito tempo.
Se eu ficar no sol por muito tempo, então eu me queimarei.
Conclusão: se eu for nadar, eu me queimarei.
O conteúdo é lógica proposicional, e precisamos reconhecer qual regra de inferência permite passar de duas condicionais encadeadas para uma terceira.
Passo 2
Definimos as proposições:
Passo 3
As premissas ficam
e
e a conclusão desejada é
Passo 4
Em lógica proposicional existe a regra chamada silogismo hipotético (ou transitividade do condicional), que diz que de
se pode inferir diretamente
Resposta
A regra de inferência usada é o silogismo hipotético.