Indicar a regra de inferencia gue fustifica a validade dos seguintes angumentos:
p (g r), p vdash g r

Passo 1

O enunciado quer saber qual a regra de inferência que permite, a partir de
p (g r)
e
p
concluir
g r
O conteúdo é lógica proposicional elemental, e para resolver precisamos reconhecer o esquema “da premissa condicional mais o antecedente, infiro o consequente”.

Passo 2

Observamos que temos exatamente o padrão
A B, Avdash B,
onde aqui A é p e B é g r. A partir deste esquema clássico, aplicamos a regra de Modus Ponens, que afirma que de A B e A se infere B.

Resposta

A regra de inferência usada é Modus Ponens.

Exercícios relacionados