The Formal reference article from the English Wikipedia on 24-Jul-2004
(provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Formal

You can make a difference by sponsoring a child
Formal - relating to form.

For example, formal logic reasons about a logical argument based only on the form and not on the meaning.

If
Socrates is a man
and
all men are mortal,
then Socrates is mortal
The conclusion follows from propositional logic. We can see the soundness of this argument by substituting in symbols to make the form clear.
If
S is a P
and
all P are M,
then S is M

Other Examples

Compare with