Difference between revisions of "Implication"
From Sudopedia
Jump to navigationJump to search (Created page with "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 resu...") |
(No difference)
|
Latest revision as of 00:20, 1 June 2020
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.