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.

• Usually you can just change parentheses, variables, or quantifiers slightly to make these into PL.
• If something is incorrect, you'll be informed of it.
• You may use the usual keyboard shortcuts.
• If you don't yet have the logic font installed, you'll see the universal quantifier as '^' and the existential as '%' unless you set your preferences to "no logic font installed" unless you set your preferences to "no logic font installed".