The process of interpreting statements in predicate logic, including the use of models and truth assignments.