inference problem Проблема (логічного) виведення Джерело: Англо-український словник технічних термінів на Slovnyk.me inference operation inference rule