5.7ex III

The following are simple applications of SD+'s rules of replacement. (In fact, these problems can be done using just IM, DM, AS, DN, CM and the rules of inference.) Unless you have them memorized, it will be good to have chapter five's reference manual open to these rules.