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!
