Instance (predicate logic)

Redirect to:

• Universal instantiation