Practice question · True or false
The most productive strategy is to apply rules forwards from the premises until the conclusion appears.
Hints
- Consider how much irrelevant material each direction generates.
- The rules permit enormously more than is useful, so forward search wanders.
Show the answer
False
Why
False, forward search generates everything the rules allow, almost all of it irrelevant. Working backwards from the goal generates only steps that would actually close the proof, which is why it is the standard discipline.
Practise Proof Strategy
The app has 5 more questions on this lesson, and keeps your place in the course. Philosophy I is free to start.
More questions on Proof Strategy
- Modus tollens, hypothetical syllogism, disjunctive syllogism and contraposition are all derived rules. How…
- Derived rules add no logical power to a system, yet proof construction relies on them extensively. What…
- Why is indirect proof available whatever the shape of the goal?
- Arrange the steps of an indirect proof in order.
- Sort each move by whether it is a legitimate step in a natural deduction proof.