Their derivation involves more than the rules i and e. To verify that, inspect the
discussion of these rules in Section 1.2.2 in Chapter 1 of your textbook.
For example, the derivation for the MT rules does not use any of the
rules for conjunction, but depends crucially on
e and
i.
Back to Question. Next Question
.