6.3ex II
PL Syntax: Formulas

Correct the following. Make changes to each of the following form entries so that the end result is both a formula of PL and is at least as long as the original entry.