9.2ex I
Derivations in PDI

Each of the following exercises makes use of the derivation rules for identity: I1 - I4. But you may use all other rules as well.



Justification:       Sentence: