formal logic Формальна логіка Джерело: Англо-український словник технічних термінів на Slovnyk.me formal inference formal parameter