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.

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.

Passo 2

Definimos as proposições:
p:\text{“eu for nadar”},\quad q:\text{“eu ficarei no sol por muito tempo”},\quad r:\text{“eu me queimarei”}.

Passo 3

As premissas ficam p \to q e q \to r, e a conclusão desejada é p \to r.

Passo 4

Em lógica proposicional existe a regra chamada silogismo hipotético (ou transitividade do condicional), que diz que de
p \to q \quad\text{e}\quad q \to r
se pode inferir diretamente p \to r.

Resposta

A regra de inferência usada é o silogismo hipotético.

Exercícios de Livros Relacionados