Pular para o conteúdo principal

Questão de Raciocínio Lógico — Fundamentos de Lógica — FUNDEPES 2024

Raciocínio LógicoFundamentos de Lógica
Código
qg189775
Banca
FUNDEPES
Órgão
UFAL
Ano
2024
Nível
Superior
Considerando-se que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, a fórmula C ∧ A é conclusão de qual conjunto de premissas?
  1. A{¬A, C ∨ A, A→C}
  2. B{¬¬(A ∨ C), D ∧ B}
  3. C{A→B, B→C, C→D}
  4. D{C→D, B→C, A↔B}
  5. E{¬B ∨ ¬D, C ∧ D, ¬A→¬B}
Revelar gabarito e comentário

GabaritoE — {¬B ∨ ¬D, C ∧ D, ¬A→¬B}

Link permanente: /questoes/qg189775