implicational quantifier

Мат. импликационный квантор