Intermediate Logic Exercise 1. On p. 17 of the Metatheory handout...