Flashcard FC329801
Qual conclusão lógica se temos "Todos B são C" e "Todos A são B"?
Lógica de Proposições
Qual conclusão lógica se temos "Todos B são C" e "Todos A são B"?
Mostrar resposta e comentário
Resposta
Todos A são C.Explicação:
Partindo de \( \forall x\,(B(x)\rightarrow C(x)) \) e \( \forall x\,(A(x)\rightarrow B(x)) \), compõe‑se a implicação para obter \( \forall x\,(A(x)\rightarrow C(x)) \).
Exemplo:
Premissas: "Todos os quadriláteros têm 4 lados" e "Todos os retângulos são quadriláteros".
Conclusão: "Todos os retângulos têm 4 lados".
Formalmente: \( \forall x\,(Q(x)\rightarrow L(x)),\ \forall x\,(R(x)\rightarrow Q(x)) \models \forall x\,(R(x)\rightarrow L(x)) \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329386
Conteúdo do catálogo FC Concursos · Atualizado em