Mirrored from Sudopedia, the Free Sudoku Reference Guide
An implication is the effect on a candidate caused by the (assumed) state of another candidate.
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.