Cadeias AIC

Como cadeias de inferência alternada provam eliminações

Escrevemos uma AIC aberta como (A=B)-(C=D)-...-(Y=Z). Cada sinal de igual é uma inferência forte entre alternativas exaustivas; se um lado for falso, o outro é verdadeiro. Cada traço é uma inferência fraca; seus lados conectados não podem ser ambos verdadeiros. Alternar essas relações prova a disjunção inclusiva dos extremos A ou Z; nenhuma atribuição interna única é escolhida.

Um alvo só pode ser retirado se contradizer todos os candidatos representados por ambos os extremos. Lados agrupados são disjunções e exigem incompatibilidade universal em cada inferência fraca. Arranha-céu e Pipas de 2 Linhas restringem a assinatura de casas de uma X-Chain de dois nós. Cadeias de mesmo dígito de comprimento 3 são L(1)-Asas de assinatura (A=B)-(C=D)-(E=F), incluindo formas de linhas paralelas, linhas alternadas e agrupadas — variantes de uma estrutura, não técnicas nomeadas separadas. Subclasses baseadas em ERi, como Retângulo Vazio Duplo, Rect-Kite e Retângulos Vazios Ponteados, cada uma exige uma assinatura de ligação distinta. XY-Chains usam nós de células bivaloradas; a interpretação AIC equivalente da Asa XY é ensinada no grupo de asas ALS-XZ.