Formal logic

• How to Prove an Expression Is Not a Well-Formed Formula
  To prove an expression is not a well-formed formula, state the grammar and show that no formation rule can generate or parse it.