Chapter Five, Tutorial Seven
SD derivations are a little like real, natural language deduction. But only a little: for one thing they are much too cumbersome. So, to make our derivations a more natural account of reasoning, we will provide means of short-cutting. The basic idea is that we will give new rules that allow one to do what amount to a number of steps in one.
For example, we will have a new rule called Modus Tolens:
But also, notice that MT isn't really necessary. One can make the inference in SD without MT:
But this derivation is unwieldy for such a simple inference. So, in SD+ we can make the inference in one step beyond the premises.
This may not seem like a huge difference. But as the premises get longer or more numerous and as we get more shortcut rules, the time saved and the clarity gained will be substantial.
Now, let's produce another "short-cut" rule.
How should we fill in for the question marks? Fill in so that this is a helpful valid inference: