Flashcard FC264979
O que expressa a proposição "Todos A são B" em termos de conjuntos e de lógica de predicados?
Lógica de Proposições
IDECAN · 2018
O que expressa a proposição "Todos A são B" em termos de conjuntos e de lógica de predicados?
Mostrar resposta e comentário
Resposta
A afirmação corresponde a \(A \subseteq B\) e, em predicados, a \( \forall x\,(A(x)\rightarrow B(x))\).Significa que todo elemento do conjunto A pertence também ao conjunto B; em um diagrama de Venn, a região de A está totalmente dentro da de B. Não existe elemento que seja A e não seja B.
Exemplo:
Considere "Todos os retângulos são quadriláteros". Em notação: \(R \subseteq Q\) e \( \forall x\,(R(x)\rightarrow Q(x))\). Logo, qualquer retângulo pertence ao conjunto dos quadriláteros; não há retângulo fora desse conjunto.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262341
Conteúdo do catálogo FC Concursos · Atualizado em