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.

Passo 1

O enunciado apresenta um argumento em lógica proposicional com as seguintes proposições: \,p: “Linda é uma excelente nadadora.” \,p \to q: “Se Linda é uma excelente nadadora, então ela pode trabalhar como salva-vidas.”
A conclusão é \,q: “Linda pode trabalhar como salva-vidas.”
O objetivo é identificar qual regra de inferência permite, a partir de p e p\to q, chegar a q.

Passo 2

Em lógica proposicional, existe uma regra de inferência que diz que, se temos como premissas p e p\to q, podemos inferir diretamente q. Essa regra é fundamental para eliminar o condicional e obter o consequente.

Resposta

Modus Ponens (também chamada eliminação do condicional).

Exercícios de Livros Relacionados