Valid (Predicate Logic)

A formula is valid (tautology) if it is satisfied by all interpretations, e.g. this formula is a tautology: $(\forall x)(P(x))\to (\exists x)(P(x))$.