Indicar a regra de inferencia gue fustifica a validade dos seguintes argumentes:
c)
c)
Passo 1
O enunciado nos dá as premissas
e
e pede uma justificativa, via regra de inferência da lógica proposicional, para chegar a
.
Passo 2
A regra chamada silogismo hipotético (ou transitividade da implicação) afirma que, a partir de
podemos inferir
Passo 3
Aplicando essa regra às premissas
segue diretamente
Resposta
A regra de inferência usada é o silogismo hipotético.