Каждый четырёхугольник имеет четыре вершины.

Пусть Q(x): «x — четырёхугольник», V(x): «x имеет четыре вершины». Тогда:

\(\forall x\,(Q(x)\rightarrow V(x))\).