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.

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.

Passo 2

Vamos traduzir em símbolos:
P:\text{“Cangurus vivem na Austrália”},\quad Q:\text{“Cangurus são marsupiais”}.áã
A premissa é P \land Q e a conclusão é Q. Essa forma
P \land Q \;\therefore\; Q
é exatamente a aplicação da regra de eliminação de conjunção (também chamada de simplificação), que diz que, se temos P\land Q, podemos inferir Q.

Resposta

A regra de inferência é a eliminação de conjunção (ou simplificação).

Exercícios de Livros Relacionados