Assumptions Menu

 

Assume True Candidate. Assume that a candidate is always true. Multiple candidate assumptions can be applied.

Assume False Candidate. Assume that a candidate is always false. Multiple candidate assumptions can be applied.

Remove Assumptions. Remove all currently applied assumptions.

 

The virtual set is a user selected group of candidates. It can be used in two ways.

 

·        Detect a derived strong inference set (D-sis) in the current logic. When the virtual set is included, it will measure the number of truths that are guaranteed by the logic to be in this group of candidates. The selected candidates should be part of the logic.

·        Apply an external (assumed) derived strong inference set (D-sis) to the current logic. When the virtual set is applied, it will force a given number of truths to be present in the selected set of candidates. The candidates should not be part of the logic (in other truths in the logic) but should be linked to the rest of the logic. The number of truths is set with the [No. of Truths to Apply] setting.

 

Include Virtual Set. The Virtual Set is included in logic but not applied. In this mode the virtual set only indicates the number of truths presence in the virtual set.

Apply Virtual Set. Virtual Set is applied to the current logic. In this mode, an assumed sis with a given number of truths is applied to the logic.

No. of Truths to Apply. Sets the number of truths to be applied when the virtual set is applied to logic.

 

Apply AURs. Activate any URs that were entered by the user and recognized as valid URs. This assumption requires the puzzle to have a unique solution. See Tutorial 5 - Uniqueness for more information about using URs and uniqueness.