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

Passo 1

O enunciado nos dá as duas premissas
s vee (r wed>= t)
e
lnot s
O conteúdo é a aplicação da regra do silogismo disjuntivo, que diz: de
p vee q
e
lnot p
podemos inferir
q

Passo 2

Identificamos na nossa disjunção
p equiv s e q equiv (r wed>= t)
Assim temos exatamente o formato
p vee q
e
lnot p

Passo 3

Pela regra do silogismo disjuntivo, de
s vee (r wed>= t)
e
lnot s
segue-se
r wed>= t

Resposta

r wed>= t

Exercícios relacionados