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.

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 \displaystyle p: “Jerry é um graduado em matemática.” \displaystyle q: “Jerry é um graduado em ciência da computação.”
A premissa do argumento é p \land q
e a conclusão é p.

Passo 3

Em lógica proposicional existe uma regra que diz que, a partir de p \land q, podemos inferir p. 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).

Exercícios de Livros Relacionados