Flashcard FC381874
Qual sequência de regras lógicas permite inferir "todo C não é A" a partir de "todo A é B" e "nenhum B é C"?
Lógica de Proposições
FCC · 2019
Qual sequência de regras lógicas permite inferir "todo C não é A" a partir de "todo A é B" e "nenhum B é C"?
Mostrar resposta e comentário
Resposta
Primeiro: aplique silogismo hipotético para obter \(A\to\neg C\).Segundo: aplique a contrapositiva para obter \(C\to\neg A\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372418
Conteúdo do catálogo FC Concursos · Atualizado em