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 exercício é de lógica proposicional e pede para usar a regra do silogismo hipotético. Essa regra afirma que, se temos
e
então podemos concluir
As premissas dadas são:
e
Queremos, portanto, ligar diretamente
a
.
Passo 2
Para aplicar o silogismo hipotético, identificamos:
Passo 3
Como temos
e
pela regra do silogismo hipotético podemos afirmar
Passo 4
Substituindo de volta
e
, obtemos a conclusão desejada: