Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado nos dá as duas premissas
e pede para justificarmos a inferência
.
O conteúdo envolvido é lógica proposicional, mais especificamente as regras de inferência para conjunção.
e pede para justificarmos a inferência
O conteúdo envolvido é lógica proposicional, mais especificamente as regras de inferência para conjunção.
Passo 2
Em lógica proposicional existe a Regra de Introdução da Conjunção (ou “
-Introdução”), que diz:
se você já tem derivadas válidas as fórmulas e
, então pode inferir a conjunção
.
se você já tem derivadas válidas as fórmulas
Passo 3
Aqui tomamos
como “
”
e
como “
”.
Pelas premissas ambas são válidas, logo pela Regra de Introdução da Conjunção obtemos
e
Pelas premissas ambas são válidas, logo pela Regra de Introdução da Conjunção obtemos
Resposta
Regra de Introdução da Conjunção (
-Introdução).