Постройте отрицание утверждению «Любое число делится на 2»

Отрицание утверждения «Любое число делится на 2» можно сформулировать так: «Существует хотя бы одно число, которое не делится на 2».

В логическом представлении это можно записать как: ¬∀x (x делится на 2) ↔ ∃x (x не делится на 2).