Ответ:

Обозначим: У(x) — «x является учеником школы», С(x) — «x носит сменную обувь».

Ответ: \(\forall x\,(У(x)\rightarrow С(x))\).