In a predicate calculus book there is an axiom that states:

$\displaystyle \forall vP\Longrightarrow P(t/v)$ provided P admits t for v

in other words the implication holds if we can substitute v for t.

Can anybody give an explanation ,please, with an example??

Thank you