кванторная алгебра

Мат. quantifier algebra