Flashcard FC831616
Qual é a negação lógica geral de uma sentença universal?
Lógica de Proposições
SELECON · 2021
Qual é a negação lógica geral de uma sentença universal?
Mostrar resposta e comentário
Resposta
Existe pelo menos um x que não satisfaz P(x).Troca-se o quantificador universal pelo existencial e nega-se o predicado, formalmente \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \).
exemplo:
Enunciado: Todo carro é elétrico.
Negação: Existe algum carro que não é elétrico.
Isso mostra que basta um único contraexemplo para falsificar uma afirmação universal.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829102
Conteúdo do catálogo FC Concursos · Atualizado em