Akademik

a implies b

Математика: из a следует b

Универсальный англо-русский словарь. Академик.ру. 2011.