Pular para o conteúdo principal

Questão de Raciocínio Lógico — Fundamentos de Lógica — IF-CE 2017

Raciocínio LógicoFundamentos de Lógica
Código
qq280964
Banca
IF-CE
Órgão
IF-CE
Ano
2017
Nível
Médio
Cargo
Assistente em Administração
Dizemos que a fórmula G é uma forma normal disjuntiva da fórmula F, quando F e G são logicamente equivalentes e,além disso, G é uma disjunção de fórmulas, as quais são conjunções, cujos termos são todas as proposições atômicas,com eventuais negações, que aparecem em F. Nessas condições, sendo p, q e r proposições atômicas, uma forma normaldisjuntiva para a fórmula F = (p → q) ∧(q → r) é G = X₁ ∨ X₂ ∨ X₃∨ X₄, onde, dentre as fórmulas X₁, X₂, X₃ e X₄, não figura
  1. A(¬p) ∧ (¬q) ∧ (¬r).
  2. B(¬p) ∧ (¬q) ∧ r
  3. Cp ∧ q ∧ (¬r).
  4. D(¬p) ∧ q ∧ r.
  5. Ep ∧ q ∧ r.
Revelar gabarito e comentário

GabaritoC — p ∧ q ∧ (¬r).

Link permanente: /questoes/qq280964