Back to the Previous Page: How Does CyclePad Detect Contradictions? Back to How Does CyclePad Detect Contradictions?
Table of Contents Up to Table of Contents
Go to the Next Page: Investigating a Cycle via the Explanation System Ahead to Investigating a Cycle via the Explanation System

How Do I Get Out of Contradiction Mode?

Once you enter contradiction mode, CyclePad will not let you proceed until you clear the assumption. To clear the assumption you must retract one of the assumptions in the report window. Once you have done so, click on OK and CyclePad will check to see that all contradictions (there may be more than one) have been resolved. You can use the facilities of the explanation system to figure out which of your assumptions to retract.

If you have assumed a numerical value that is outside the range of CyclePad's tables, the contradiction dialog will show you where your value is with respect to the approximate range of the table:

cpadw037.gif

This is probably the easiest contradiction to recover from, because it was very likely provoked by the most recent value you entered. In any case, it will be relatively easy to determine which value is out of range, and retract that value.

If you do not see this dialog, then the contradiction is not due to a value falling outside of CyclePad's tables. Depending on the particular problem, there are several ways to proceed. You may find it helpful to work backwards, asking why the contradictory facts were believed and working back to the assumptions. Or you may find it helpful to work forward from your assumptions, moving through their consequences to see where things went astray. Often a combination of working forwards and backwards provides the best results.

All contradictory statements and assumptions are hypertext items that can be explored and manipulated by clicking on them with the mouse to get a menu of appropriate commands.

eyeglasses image See also:

What Causes Contradictions?

How Do I Get Out of Contradiction Mode?

Back to the Previous Page: How Does CyclePad Detect Contradictions? Back to How Does CyclePad Detect Contradictions?
Table of Contents Up to Table of Contents
 Go to the Next Page: Investigating a Cycle via the Explanation System Ahead to Investigating a Cycle via the Explanation System

Back to Projects page | Back to Resources page | Back to Software page | Back to QRG Home Page