implicational

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

Источник: Полный англо-русский словарь на Gufo.me