Usar a regra do “Silogismo hipotético” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) s vee t r wed>= q
(2) r wed>= q sim p

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
A B
e
B C
então podemos concluir
A C
As premissas dadas são:
(s vee t) (r wed>= q)
e
(r wed>= q) neg p
Queremos, portanto, ligar diretamente s vee t a neg p.

Passo 2

Para aplicar o silogismo hipotético, identificamos:
A = s vee t
B = r wed>= q
C = neg p

Passo 3

Como temos
A B
e
B C
pela regra do silogismo hipotético podemos afirmar
A C

Passo 4

Substituindo de volta A = s vee t e C = neg p, obtemos a conclusão desejada:
(s vee t) neg p

Resposta

(s vee t) neg p

Exercícios relacionados