|
T8.4 3 of 3 Strategy Strategy for PD and PD+ is very much like that for SD and SD+. One first provides a goal, then considers "obvious" ways to reasonably proceed toward that goal. When steps are not so obvious, one considers the I-rules for the main connective of the goal at hand and E-rules for the main connective of any accessible sentences. If all else fails, the "desperation" step is to use ~E: assume the negation of your goal. In PD+, one may use the rules MT,HS,DS and the rules of replacement including QN. These should count as "obvious" when they are applicable. But remember, only use these many short-cut rules when it's obvious that their use will likely prove useful. Otherwise one may get lost in repeated applications which go nowhere. For more details, see the reference manual on PD+ strategy.
|