Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
p q longmapsto(p q) vee sim r

Passo 1

O enunciado apresenta o argumento com única premissa
p q
e conclusão
(p q)vee neg r
O conteúdo é regras de inferência em lógica proposicional, mais precisamente a forma de inserir uma disjunção a partir de uma fórmula já obtida.

Passo 2

Aplicamos a regra que permite, a partir de qualquer fórmula A, inferir a disjunção Avee B para um termo arbitrário B. Aqui temos Aequiv (p q) e escolhemos Bequiv neg r. Logo, de
p q
segue-se
(p q)vee neg r

Resposta

A regra de inferência usada é a Introdução de Disjunção (também chamada Adição).

Exercícios relacionados