Flashcard FC831581
Qual é a negação lógica de "Todo A é B"?
Lógica de Proposições
SELECON · 2025
Qual é a negação lógica de "Todo A é B"?
Mostrar resposta e comentário
Resposta
Existe pelo menos um A que não é B.Formalmente: se \( \forall x (A(x)\rightarrow B(x)) \) então sua negação é \( \exists x (A(x)\land \neg B(x)) \).
Isso significa que a negação de uma afirmação universal afirma a existência de um contraexemplo, um indivíduo que satisfaz A e não satisfaz B.
Exemplo: seja C(x): x é carro, E(x): x é elétrico.
A frase Todo carro é elétrico é \( \forall x (C(x)\rightarrow E(x)) \).
Sua negação é \( \exists x (C(x)\land \neg E(x)) \), ou seja, existe pelo menos um carro que não é elétrico.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829067
Conteúdo do catálogo FC Concursos · Atualizado em