Extension (predicate logic) (source code)

= Extension (predicate logic)
{wiki=Extension_(predicate_logic)}

In predicate logic, the term "extension" can be understood in a couple of contexts, primarily relating to the meanings of predicates and the interpretation of individual entities in a model. 1. **Extension of a Predicate**: The extension of a predicate refers to the set of all objects (or individuals) in the domain of discourse that satisfy the predicate.