Akademik
операция импликации
Engineering:
IF-THEN operation, implication operation
Универсальный русско-английский словарь
.
Академик.ру
.
2011
.