Pular para o conteúdo principal

Questão de Raciocínio Lógico — Lógica de Argumentação - Diagramas e Operadores Lógicos — NUCEPE 2012

Raciocínio LógicoLógica de Argumentação - Diagramas e Operadores Lógicos
Código
qg884161
Banca
NUCEPE
Órgão
PC-PI
Ano
2012
Nível
Superior
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: ChoveuQ: O trânsito estará difícilR: Estarei atrasadoS: Saio antes
  1. A[[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → S]
  2. B[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[¬S] → R]
  3. C[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[¬Q] → P]
  4. D[[P → Q]⋀[Q → [R⋁S]]⋀P] → [[¬R] → Q]
  5. E[[P → Q]⋀[Q → [R⋁P]]⋀P] → [[ ¬R] → P]
Revelar gabarito e comentário

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

Link permanente: /questoes/qg884161