Qual a regra de inferência utilizada em cada um dos argumentos a seguir?
Linda é uma excelente nadadora. Se Linda é uma excelente nadadora, então ela pode trabalhar como salva-vidas. Por isso, Linda pode trabalhar como salvavidas.
Linda é uma excelente nadadora. Se Linda é uma excelente nadadora, então ela pode trabalhar como salva-vidas. Por isso, Linda pode trabalhar como salvavidas.
Passo 1
O enunciado apresenta um argumento em lógica proposicional com as seguintes proposições:
“Linda é uma excelente nadadora.”
“Se Linda é uma excelente nadadora, então ela pode trabalhar como salva-vidas.”
A conclusão é “Linda pode trabalhar como salva-vidas.”
O objetivo é identificar qual regra de inferência permite, a partir de e
, chegar a
.
A conclusão é
O objetivo é identificar qual regra de inferência permite, a partir de
Passo 2
Em lógica proposicional, existe uma regra de inferência que diz que, se temos como premissas
e
, podemos inferir diretamente
. Essa regra é fundamental para eliminar o condicional e obter o consequente.
Resposta
Modus Ponens (também chamada eliminação do condicional).