Flashcard FC329807
Qual é a negação lógica de uma afirmação universal do tipo "Todo P é Q"?
Lógica de Proposições
IBGP · 2019
Qual é a negação lógica de uma afirmação universal do tipo "Todo P é Q"?
Mostrar resposta e comentário
Resposta
Algum P não é Q.Em lógica de predicados:
\( \neg\forall x\,(P(x)\rightarrow Q(x)) \equiv \exists x\,(P(x)\land\neg Q(x))\).
Exemplo:
Afirmação: Todo produto tem garantia.
Negação correta: Algum produto não tem garantia.
Formalizando: seja \(P(x)=\) "x é produto" e \(Q(x)=\) "x tem garantia", então a negação é \( \exists x\,(P(x)\land\neg Q(x))\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329392
Conteúdo do catálogo FC Concursos · Atualizado em