Indicar a Regra de inferência que justifica a validade dos seguintes argumentos:
Passo 1
O enunciado fornece as premissas
e
e pede para mostrar que daí decorre
. Estamos trabalhando com regras de inferência da lógica proposicional, em particular com a transitividade do condicional.
Passo 2
Aplicamos o silogismo hipotético (ou transitividade do condicional), que afirma: de
e
podemos inferir
. Aqui tomamos
,
e
. Logo, de
e
obtemos imediatamente
.
Resposta
Silogismo hipotético (transitividade do condicional).