Полный англо-русский словарь
Импликационный — implicational calculus — implicational logic — implicational quantifier