interdeducible formulas Дедуктивно еквівалентні формули Джерело: Англо-український словник технічних термінів на Slovnyk.me interdatabase query interdependence