First-order Logic - Syntax

Syntax

There are two key parts of first order logic. The syntax determines which collections of symbols are legal expressions in first-order logic, while the semantics determine the meanings behind these expressions.

Read more about this topic:  First-order Logic