Qual a regra de inferência usada em cada um dos argumentos abaixo?
Jerry é um graduado em matemática e em ciência da computação. Por isso, Jerry é um graduado em matemática.
Jerry é um graduado em matemática e em ciência da computação. Por isso, Jerry é um graduado em matemática.
Passo 1
O enunciado nos dá um argumento em lógica proposicional: “Jerry é um graduado em matemática e em ciência da computação. Por isso, Jerry é um graduado em matemática.” O conteúdo é regras de inferência, mais especificamente a partir de uma conjunção inferir uma de suas componentes.
Passo 2
Vamos chamar
: “Jerry é um graduado em matemática.”
: “Jerry é um graduado em ciência da computação.”
A premissa do argumento é
e a conclusão é
e a conclusão é
Passo 3
Em lógica proposicional existe uma regra que diz que, a partir de
, podemos inferir
. Essa regra é conhecida como Simplificação ou Eliminação da conjunção.
Resposta
A regra de inferência usada é a Simplificação (ou Eliminação da conjunção).