Lembre-se dos fundamentos de Raciocínio Lógico para resolver as questões

Question

Considere o argumento seguinte:

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.

Escreva o argumento simbolicamente, usando as seguintes proposições básicas:

P: Choveu

Q: O trânsito estará difícil

R: Estarei atrasado

S: Saio antes

Accepted Answer

[[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → S]

Answer

[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[¬S] → R]

Answer

[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[¬Q] → P]

Answer

[[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → Q]

Answer

[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[ ¬R] → P]

Q33525 - NUCEPE Perito Criminal - Informática 2012