Flashcard FC511762
Qual é a negação lógica de uma proposição universal do tipo "Todos os A são B"?
Lógica de Proposições
IBFC · 2024
Qual é a negação lógica de uma proposição universal do tipo "Todos os A são B"?
Mostrar resposta e comentário
Resposta
Alguns A não são B.Formalmente, se a proposição é \( \forall x\,(A(x)\rightarrow B(x)) \), a negação é \( \exists x\,(A(x)\land\neg B(x)) \), ou seja, existe pelo menos um A que não é B.
Exemplo: Enunciado: "Todos os carros são elétricos."
Negação: "Alguns carros não são elétricos."
Formalmente: \( \neg\forall x\,(Carro(x)\rightarrow Eletrico(x)) \equiv \exists x\,(Carro(x)\land\neg Eletrico(x)) \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509394
Conteúdo do catálogo FC Concursos · Atualizado em