Checking if a formula is well-formed.

The map WF[x] (``x is well-formed'') returns true if x denotes a well-formed formula, and false otherwise.

In[11]:=

WF[Conj[A_, B_]]             := And[WF[ ... bsp;               := False


Created by Mathematica  (October 17, 2006)