Flashcard FC831626
Se todos os A são B e todas as B são C, o que se pode inferir sobre um indivíduo que não é C?
Lógica de Proposições
SELECON · 2018
Se todos os A são B e todas as B são C, o que se pode inferir sobre um indivíduo que não é C?
Mostrar resposta e comentário
Resposta
Não é A, pois pela contraposição encadeada vale \( \neg C \Rightarrow \neg B \Rightarrow \neg A\).Explicação:
Se todas as A estão em B e todas as B estão em C, então \(A \subset B \subset C\).
A contrapositiva de "B ⊂ C" é "¬C ⇒ ¬B", e a de "A ⊂ B" é "¬B ⇒ ¬A".
Compondo essas implicações, de ¬C segue ¬A.
Exemplo:
Suponha: Todos os professores são graduados e todos os graduados possuem diploma, isto é \(Professor \subset Graduado \subset Diplomado\).
Se alguém não possui diploma (¬Diplomado), então não é graduado (¬Graduado) e, portanto, não é professor (¬Professor).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829112
Conteúdo do catálogo FC Concursos · Atualizado em