1.5 Treatment of Blanks


Concerning the treatment of blanks in formulas, more than 2 blanks are considered as one. One blank also can be omitted if the spelling of names and operators do not get confused. For example, these types of formulas

g(x) and (All y)(f(y) imp h(y,x)) can be written as
g(x) and (All y)(f(y) imp h(y,x)), but cannot be expressed as
g(x)and (Ally)(f(y) imph(y,x)).