Como aplicar transitividade e eliminação para determinar posições relativas e atributos exclusivos entre três elementos?

Aplicando a transitividade das relações de ordem e eliminando atributos incompatíveis até restar uma atribuição única.

Use passos:
1) Formalize as relações de ordem dadas (ex.: A antes de B).
2) Aplique transitividade para obter novas relações (se A antes de B e B antes de C, então A antes de C).
3) Use atributos únicos (cores, cargos, etc.) para excluir possibilidades incompatíveis.
4) Atribua por eliminação o que sobrar.

exemplo
Três modelos de carro saíram em anos consecutivos: M1, M2, M3. O modelo mais antigo é elétrico. Sabe‑se que M2 saiu depois de M1 e que M3 saiu antes do modelo amarelo.
Passos:
- Do dado: mais antigo = elétrico.
- M2 > M1 (M2 é mais recente que M1).
- M3 < amarelo (M3 é anterior ao amarelo).
Se M2 não pode ser o elétrico quando M1 já é o mais antigo, e se M3 é anterior ao amarelo, então por exclusão o modelo amarelo é o que resta entre os demais; aplicando transitividade sabemos qual é o mais antigo e atribuímos a cor elétrica ao correspondente.

⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições

---

Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262370