импликационная логика

Мат. implicational logic

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