Como usar relações de ordem e exclusões para deduzir atribuições em problemas de lógica?

Usando a ordem para formar a sequência e aplicando exclusões que eliminam opções incompatíveis.

Procedimento:
1. Identificar relações de precedência (quem sai antes de quem) e montar a sequência parcial.
2. Aplicar negações (quem não pode ocupar determinado cargo) para eliminar possibilidades.
3. Usar transitividade e exclusão para completar a cadeia e atribuir os cargos restantes.

Exemplo:
Três cargos: Assistente (1º), Supervisor (2º), Gerente (3º).
Premissas:
- O Assistente se aposenta primeiro.
- O Supervisor se aposenta antes do empregado 3.
- O empregado 1 não é Supervisor.

Dedução:
- Como o Supervisor sai antes do empregado 3, o empregado 3 não pode ser Supervisor.
- O empregado 1 também não é Supervisor; logo o Supervisor é o empregado 2.
- Com Supervisor = empregado 2 e Assistente = primeiro, resta ao empregado 1 ser Assistente e ao empregado 3 ser Gerente.

Conclusão: Empregado 1 = Assistente; Empregado 2 = Supervisor; Empregado 3 = Gerente.