Usar a regra do “Silogismo hipotético” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1)
(2)
(1)
(2)
Passo 1
Então, o enunciado nos dá duas implicações:
e
. Estamos trabalhando com lógica proposicional, especificamente implicações, e vamos usar o silogismo hipotético para chegar à conclusão.
Passo 2
Lembra que o silogismo hipotético diz: se
e
, então
. Aqui,
é
,
é
e
é
. Aplicando isso, concluímos a implicação direta de
para
.