Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado dá como premissas as fórmulas
e pede para inferir
.
Estamos em lógica proposicional e vamos usar uma regra de inferência que combine duas fórmulas em uma conjunção.
e pede para inferir
Estamos em lógica proposicional e vamos usar uma regra de inferência que combine duas fórmulas em uma conjunção.
Passo 2
A regra de inferência que permite, a partir de duas fórmulas
e
, concluir
é a Introdução da Conjunção (ou simplesmente Conjunção). Em símbolos:
Passo 3
Aplicando
-I às premissas:
de e de
inferimos
de
Resposta
A regra usada é a Introdução da Conjunção (
-I).