Como se usa a negação de afirmações do tipo "X e Y são consecutivos" e "Z está entre X e Y" para eliminar posições em problemas de fila?

Negação: "X e Y não são consecutivos" significa que X e Y não ocupam posições adjacentes; "Z não está entre X e Y" significa que Z não ocupa nenhuma posição estritamente entre as de X e Y.

Explicação e procedimento:
1. Identifique posições adjacentes possíveis para o par citado e exclua-as quando a afirmação "são consecutivos" for falsa.
2. Para "está entre", elimine qualquer posição que fique estritamente entre as posições possíveis de X e Y quando essa afirmação for falsa.
3. Use qualquer posição fixa conhecida para reduzir opções por exclusão até obter a configuração única.

Exemplo:
Posições 1–4 e elementos A, B, C, D. Sabe-se que B = 4ª, e as afirmações "A e B são consecutivos" e "C está entre A e B" são falsas.
- Como B está na 4ª, o único adjacente é a 3ª; portanto, A ≠ 3ª (pela negação da consecutividade). Logo A ∈ {1ª,2ª}.
- Se A = 1ª, então entre A e B estão as posições 2ª e 3ª, mas como "C não está entre A e B", C ≠ 2ª nem 3ª — impossível, pois restariam só posições 2 e 3 para C e D. Assim A ≠ 1ª.
- Logo A = 2ª. Então entre A(2ª) e B(4ª) está apenas a 3ª, e como C não pode estar entre, C ≠ 3ª, restando C = 1ª e D = 3ª.

Resultado do exemplo: 1ª = C, 2ª = A, 3ª = D, 4ª = B.