Flashcard FC875822
Como negar logicamente a sentença universal "Todo P é A"?
Lógica de Proposições
FUNDATEC · 2026
Como negar logicamente a sentença universal "Todo P é A"?
Mostrar resposta e comentário
Resposta
A negação é a existência de pelo menos um indivíduo que é P e não é A.\( \neg \forall x (P(x)\rightarrow A(x)) \equiv \exists x (P(x)\wedge \neg A(x))\).
• Negação existencial: "Algum P não é A".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/871405
Conteúdo do catálogo FC Concursos · Atualizado em