Syntax and Semantics

The rules for constructing valid statements in predicate logic and the meanings of those statements.