Flashcard FC302961
Qual é a negação lógica da proposição universal "Todo B é C"?
Lógica de Proposições
FGV · 2022
Qual é a negação lógica da proposição universal "Todo B é C"?
Mostrar resposta e comentário
Resposta
Existe pelo menos um B que não é C.A negação formal de Todo B é C (i.e. \( \forall x\,(x\in B\rightarrow x\in C)\)) é Algum B não é C, representada por \( \exists x\,(x\in B\land x\notin C)\).
Exemplo:
Considere \(B=\{\text{maçã},\text{banana},\text{laranja}\}\) e \(C=\{\text{maçã},\text{laranja}\}\).
Então \(B\not\subseteq C\) porque existe \(x=\text{banana}\) tal que \(x\in B\) e \(x\notin C\); ou seja, algum B não é C.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300051
Conteúdo do catálogo FC Concursos · Atualizado em