Все ученики школы носят сменную обувь.

Пусть S(x): «x — ученик школы», O(x): «x носит сменную обувь». Тогда:

\(\forall x\,(S(x)\rightarrow O(x))\).