FOL is more expressive than PL, it can represent information using relations, variables and quantifies which was not possible with propositional logic.

Syntactic Elements, Semantic and Syntax

Assuming that X is a domain of values, we can define a term with following rules:

a. Constant term: It is a term …