Mirrored from Sudopedia, the Free Sudoku Reference Guide
An implication is the effect on a candidate caused by the (assumed) state of another candidate.
Implications are used in chains and loops. They are the result of a link between the candidates.
A common way to write implications is the following format:
r1c3=4 => r1c5<>4
The double arrow signifies that we're dealing with an implication.
There is some discussion about the difference between implications and inferences. It is the writer's opinion that implications operate from one candidate to another, whereas inference always operates in both directions.This page was last modified 18:30, 25 October 2007.