Nested Forcing Chain
Uma Nested Forcing Chain executa uma dedução interna no estado de candidatos criado por uma suposição externa. O resultado interno pode estender a cadeia externa, mas permanece condicional a essa suposição externa até que a prova externa esteja completa.
O que e uma Nested Forcing Chain?
O aninhamento muda a profundidade da prova, não suas regras de verdade. Uma AIC interna, fish, subconjunto ou dedução forçada usa o estado temporário herdado da ramificação externa. Sua conclusão, portanto, não é independente daquela ramificação.
Como identificar
Uma Nested Forcing Chain adiciona uma busca de cadeia interna a um estado temporário já assumido. Pode ser difícil de seguir à mão, mas dificuldade e ranking de produto são separados de sua validade. Uma explicação completa deve mostrar a suposição externa, o estado herdado pela cadeia interna, a conclusão interna e como a prova externa é finalmente descarregada.
A logica
Se a suposição externa A permite uma prova interna de P, a afirmação válida é A implica P. P torna-se incondicional apenas se A for provada verdadeira depois, ou se cada alternativa externa exaustiva também provar P. Chamar o resultado interno de independente descartaria uma premissa necessária.