Section 7.2

Syntax of Predicate Logic