Na lógica de primeira ordem, a negação de uma fórmula quantificada universalmente segue regras específicas. Considere a fórmula: ¬(∀x (P(x) → Q(x))), onde 'P(x)' significa 'x é aprovado no concurso' e

Question

Na lógica de primeira ordem, a negação de uma fórmula quantificada universalmente segue regras específicas. Considere a fórmula: ¬(∀x (P(x) → Q(x))), onde 'P(x)' significa 'x é aprovado no concurso' e 'Q(x)' significa 'x obteve nota superior a 80'. Qual das seguintes fórmulas representa a negação correta da afirmação 'Todos os candidatos aprovados obtiveram nota superior a 80', aplicando as regras de negação de quantificadores e das proposições condicionais?

Accepted Answer

∃x (P(x) ∧ ¬Q(x))

Answer

∀x (¬P(x) → ¬Q(x))

Answer

∃x (¬P(x) ∧ Q(x))

Answer

∀x (P(x) → ¬Q(x))

Answer

¬∃x (P(x) → Q(x))

Questão 26307 — Raciocínio Lógico

Comentários