Qual a regra de inferência utilizada em cada um dos argumentos a seguir?
Cangurus vivem na Austrália e são marsupiais. Por isso, cangurus são marsupiais.
Cangurus vivem na Austrália e são marsupiais. Por isso, cangurus são marsupiais.
Passo 1
O enunciado apresenta um argumento em lógica proposicional:
– Premissa: “Cangurus vivem na Austrália e são marsupiais.”
– Conclusão: “Cangurus são marsupiais.”
O que precisamos reconhecer é a forma padrão desse argumento e a regra de inferência correspondente.
– Premissa: “Cangurus vivem na Austrália e são marsupiais.”
– Conclusão: “Cangurus são marsupiais.”
O que precisamos reconhecer é a forma padrão desse argumento e a regra de inferência correspondente.
Passo 2
Vamos traduzir em símbolos:
A premissa é
e a conclusão é
. Essa forma
é exatamente a aplicação da regra de eliminação de conjunção (também chamada de simplificação), que diz que, se temos
, podemos inferir
.
Resposta
A regra de inferência é a eliminação de conjunção (ou simplificação).