Pular para o conteúdo principal

Questão de Raciocínio Lógico — Lógica de Argumentação - Diagramas e Operadores Lógicos — COPEVE-UFAL 2015

Raciocínio LógicoLógica de Argumentação - Diagramas e Operadores Lógicos
Código
qq111100
Banca
COPEVE-UFAL
Órgão
UNCISAL
Ano
2015
Nível
Superior
Se os símbolos lógicos ~, ^, v, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, e os valores lógicos das proposições atômicas A, B, C e D são, respectivamente, Falso, Falso, Verdadeiro e Falso, qual das fórmulas tem valor lógico verdadeiro?
  1. A(A v C) ↔ (B v D)
  2. B((A ^ ~B) v C) → D
  3. C(~A ^ ~B ^ ~C) v D
  4. D~(A ^ B) ↔(C v D)
  5. E~A → (B v ~(C v D))
Revelar gabarito e comentário

GabaritoD — ~(A ^ B) ↔(C v D)

Link permanente: /questoes/qq111100