Flashcard FC918846
Como negar logicamente uma afirmação universal cujo predicado é uma conjunção?
Lógica de Proposições
IAUPE · 2026
Como negar logicamente uma afirmação universal cujo predicado é uma conjunção?
Mostrar resposta e comentário
Resposta
Existe pelo menos uma pessoa viva que não nasceu no passado ou não morrerá no futuro.\( \neg(\forall x\,[V(x)\Rightarrow (A(x)\land M(x))]) = \exists x\,[V(x)\land \neg(A(x)\land M(x))]\).
\( \neg(A\land M)=\neg A\lor\neg M\).
\( \therefore \exists x\,[V(x)\land (\neg A(x)\lor\neg M(x))]\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/911081
Conteúdo do catálogo FC Concursos · Atualizado em