Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado apresenta o argumento com única premissa
e conclusão
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
, inferir a disjunção
para um termo arbitrário
. Aqui temos
e escolhemos
. Logo, de
segue-se
Resposta
A regra de inferência usada é a Introdução de Disjunção (também chamada Adição).