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.
|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.|