predicate language Мова числення предикатів Джерело: Англо-український словник технічних термінів на Slovnyk.me predicate calculus predicate logic