Chapter Five, Tutorial Eight
The main point about strategy in SD+ is a quite simple:
Apply one of the new rules if its use is obvious, but only if it will help move the derivation toward one of your goals.
We make the point this way because the new rules are so powerful that they can be dangerous! Well, they do allow you to very efficiently derive conclusions; but if you apply them randomly, they may take you far from your goals. So, in this tutorial we need to emphasize how they can be best applied.
Let's begin with just a few examples.
Now, we should look at some derivations putting these rules together. Here's a demonstration to get us started. Our goal will be to derive '~LvM'.