From Sudopedia
Jump to navigationJump to search

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.

Deb icon.gif The topic in this article is a still a subject of debate. Parts of the text may not express everybody's opinion. Use the associated Talk page if you do not agree with the opinion of the writer, rather than continuously editing the main article.