-
Um método mais CURTO e fácil é analisar as alternativas:
A grande sacada está na conclusão:
Portanto, eu devo sair antes para evitar atraso.:
- eu devo sair antes (Q)
- para evitar atraso (~R)
a) [[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → S]
-
- eu devo sair antes (Q)
- para evitar atraso (~R)
a) [[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → S]
-
EU ACERTEI PELO (S) NO FINAL DA ALTERNATIVA, A
-
Demoníaca... Mas dá pra fazer se for lendo as proposições das alternativas e eliminando as incorretas.
GAB: A
-
gaba A
Se choveu, o trânsito estará difícil. Se o trânsito estiver difícil, eu estarei atrasado, a menos que eu saia antes. De fato, choveu. Portanto, eu devo sair antes para evitar atraso.
[¬R] → S]
tem que ter esse final.
A)[[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → S]
B)[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[¬S] → R]
C)[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[¬Q] → P]
D)[[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → Q]
E)[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[ ¬R] → P]
PERTENCELEMOS!
-
ñ entendi
-
Galera, olhem para o ponto de partida que é a letra S = eu devo sair antes.
-
A última proposição "saio antes para evitar o atraso não é uma conjunção?
Saio antes e evito o atraso
-
Se tu ver a única que tem a proposição S no final de acordo com o enunciado é a letra A