Flashcard FC891075
Qual é a negação lógica de ∀x (B(x) ⊕ E(x))?
Lógica de Proposições
Vunesp 2 · 2025
Qual é a negação lógica de ∀x (B(x) ⊕ E(x))?
Mostrar resposta e comentário
Resposta
A negação é \( \exists x\,\neg(B(x)\oplus E(x))\), equivalente a \( \exists x\,((B(x)\land E(x))\lor(\neg B(x)\land\neg E(x)))\).• Negação universal: A negação transforma ∀ em ∃ e nega a fórmula, \( \neg\forall x\,(B\oplus E)\equiv\exists x\,\neg(B\oplus E)\).
• Negação do ou exclusivo: \(\neg(B\oplus E)\) é equivalente a \((B\land E)\lor(\neg B\land\neg E)\), ou seja a equivalência \(B\leftrightarrow E\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/890957
Conteúdo do catálogo FC Concursos · Atualizado em