implicational

Импликационный — implicational calculus — implicational logic — implicational quantifier