T5.7 5 of 9

5.7ex I

The New Rules of Inference: MT, HS, DS

Here's the usual derivation problem set but with the three new rules allowed. One difference: the '/' shortcut works only for the older rules. (After this page, you may use it for all rules of inference.)

These problems use MT, HS, and DS about half the time. But the other half the time they use SD rules. So keep the old rules in mind too!