https://www.sudopedia.org/index.php?title=Verity&feed=atom&action=historyVerity - Revision history2024-03-29T08:57:55ZRevision history for this page on the wikiMediaWiki 1.34.1https://www.sudopedia.org/index.php?title=Verity&diff=417&oldid=prevRooted: Created page with "A '''verity''' is a statement which is true for all alternatives in a limited set. Suppose we have a cell '''A''' and as cell '''B'''. Consider the following implicatio..."2022-01-20T02:47:19Z<p>Created page with "A '''verity''' is a statement which is true for all alternatives in a limited set. Suppose we have a <a href="/wiki/Cell" title="Cell">cell</a> '''A''' and as cell '''B'''. Consider the following implicatio..."</p>
<p><b>New page</b></p><div>A '''verity''' is a statement which is true for all alternatives in a limited set.<br />
<br />
Suppose we have a [[cell]] '''A''' and as cell '''B'''. Consider the following [[implication]] [[chain]]s:<br />
A=1 => ... => B=2<br />
A<>1 => ... => B=2<br />
Cell '''A''' can either contain [[digit]] 1 or it does not. There is no middle ground. When both situations lead to the placement of digit 2 in cell '''B''', this cell must contain digit 2. This is a verity.<br />
<br />
The alternative term '''veracity''' is sometimes used for similar purposes, but there is no real distinction between these two terms.<br />
<br />
The following situation shows how a verity can also be proven when there are more than 2 alternatives:<br />
A=(1,2,3)<br />
A=1 => ... => B=2<br />
A=2 => ... => B=2<br />
A=3 => ... => B=2<br />
In this sample, cell '''A''' has candidates for digits 1,2 and 3. Each of these force digit 2 in cell '''B'''.<br />
== See Also ==<br />
* [[Forcing Chain]]<br />
* [[Tabling]]</div>Rooted