универсальная импликация

Мат. universal implication