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".