Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
p (q r), p vdash q r

Passo 1

O enunciado nos dá as premissas
p to (q to r)
e
p
e pede para inferirmos
q to r
Estamos em lógica proposicional e precisamos aplicar uma regra que permita usar uma implicação e seu antecedente para obter o consequente.

Passo 2

Usamos a regra de eliminação do condicional (também chamada de Modus Ponens): de
p to (q to r)
e
p
podemos inferir diretamente
q to r

Resposta

A regra de inferência usada é o Modus Ponens (eliminação de to).

Exercícios relacionados