предикатная тавтология

Мат. predicate tautology