эквивалентное утверждение

Мат. equivalent proposition