Flashcard FC891074
Qual é a negação lógica de ∃x (M(x) ↔ N(x))?
Lógica de Proposições
Vunesp 2 · 2025
Qual é a negação lógica de ∃x (M(x) ↔ N(x))?
Mostrar resposta e comentário
Resposta
A negação é \( \forall x\,\neg(M(x)\leftrightarrow N(x)) \), equivalente a \( \forall x\,((M(x)\land\neg N(x))\lor(\neg M(x)\land N(x))) \).Em linguagem natural: para todo servidor, ou estudou em M e não em N, ou estudou em N e não em M.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/890956
Conteúdo do catálogo FC Concursos · Atualizado em