Section 1.0: Informal Remarks on Formal Languages
A formal language is generally described by the following.
The set of symbols such as
,
,
,
,
etc.
Rules to form a wff i.e. a well-formed formula.
Allowable translations between English and the formal language.