Flashcard FC918847
De acordo com o assunto Raciocínio Lógico: Lógica de Proposições, responda: Negue \( \forall x\,(A(x)\land B(x)) \).
Lógica de Proposições
IAUPE · 2026
Negue \( \forall x\,(A(x)\land B(x)) \).
Mostrar resposta e comentário
Resposta
A negação é \( \exists x\,(\neg A(x)\lor \neg B(x)) \).
• Quantificador: a negação troca ∀ por ∃, indicando existe pelo menos um indivíduo que não satisfaz a propriedade conjunta.
• Conjunção: pela lei de De Morgan, a negação de \(A\land B\) vira \(\neg A\lor \neg B\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911082
Conteúdo do catálogo FC Concursos · Atualizado em