Enlaces fortes e fracos

Resultado

Você poderá decidir se dois candidatos têm um Strong Link, um Weak Link, ambos ou nenhum link direto e usar corretamente a direção de cada implicação.

As duas ideias

Cadeias são construídas a partir de duas afirmações simples:

• Strong Link: os dois candidatos não podem ser falsos ao mesmo tempo.
• Weak Link: os dois candidatos não podem ser verdadeiros ao mesmo tempo.

Isso gera duas implicações seguras:

Strong: falso → verdadeiro
Weak:   verdadeiro → falso

As setas não são intercambiáveis. Um Weak Link não significa que um candidato falso force o outro a ser verdadeiro.

Etapa 1 — Um Strong Link em uma unidade

Imagine que o candidato 7 apareça em exatamente duas células de uma linha.

Se o 7 da esquerda for falso, o 7 da direita precisa ser verdadeiro porque a linha ainda precisa conter um 7 em algum lugar.

Essa é a ideia do Strong Link:

uma extremidade falsa força a outra a ser verdadeira.

Etapa 2 — Um Weak Link

Agora imagine que a mesma linha tenha quatro possíveis 7.

Escolha dois candidatos que se veem. Se o primeiro for verdadeiro, o segundo precisa ser falso — uma linha não pode conter dois 7.

Mas, se o primeiro for falso, o segundo não é forçado a ser verdadeiro. Ainda existem outras duas posições.

Esse par é apenas Weak.

Etapa 3 — Um par pode ser os dois

Um par conjugado — exatamente duas posições para um dígito em uma unidade — é Strong e Weak:

• os dois não podem ser falsos;
• os dois não podem ser verdadeiros.

Células bivalue se comportam da mesma forma internamente. Se uma célula contém apenas {3,8}, um candidato falso força o outro a ser verdadeiro, e um verdadeiro força o outro a ser falso.

Etapa 4 — Dentro de uma célula

Compare:

{3,8}

com:

{3,8,9}

Na célula bivalue, 3 e 8 são Strong + Weak.

Na célula trivalue, 3 e 8 são apenas Weak: se 3 for falso, 8 não é forçado porque 9 ainda existe.

Etapa 5 — Classifique a relação

Para cada par, faça duas perguntas:

1. Os dois podem ser verdadeiros?
2. Os dois podem ser falsos?

Então classifique:

• não podem ser verdadeiros juntos → Weak;
• não podem ser falsos juntos → Strong;
• as duas afirmações valem → Strong + Weak;
• nenhuma é garantida → nenhum link direto.

Etapa 6 — Propague uma cadeia curta

Considere:

A = B - C = D

Comece com A = falso.

Um Strong Link força B = verdadeiro. O Weak Link força C = falso. O Strong Link final força D = verdadeiro.

A habilidade importante não é desenhar os símbolos. É saber por que cada estado decorre do anterior.

Verificação rápida

Classifique as relações e propague as implicações sem inverter um Weak Link.

Lembre-se

Strong significa não podem ser falsos juntos. Weak significa não podem ser verdadeiros juntos.

O mesmo par de candidatos pode satisfazer as duas definições.

Próxima

Como as cadeias funcionam

Agora combine essas relações em deduções cujas extremidades provem algo útil.

Referência

Leia Strong Links e Weak Links para as definições completas e mais exemplos.