IF-THEN Англо-русский перевод IF-THEN импликация (функция) Big English-Russian dictionary . Большой Англо-Русский словарь. 2012