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
O enunciado pede para usar a regra do silogismo hipotético, que é uma inferência em lógica proposicional. Essa regra diz que, dadas duas premissas da forma
e
podemos concluir
Passo 2
Identificamos nas premissas do problema:
Assim, as premissas são
Passo 3
Aplicando o silogismo hipotético a
e
obtemos
ou seja