Indicar a regra de inferencia gue fustifica a validade dos seguintes angumentos:
Passo 1
O enunciado apresenta o argumento com a única premissa
e conclusão
. Estamos em lógica proposicional e precisamos identificar a regra de inferência que permite passar de uma conjunção para um de seus componentes.
Passo 2
Observe que a premissa é uma conjunção do tipo
, onde
e
. A regra que nos autoriza a inferir diretamente
a partir de
é a Simplificação (ou Eliminação de Conjunção).
Resposta
Simplificação (Eliminação de Conjunção)