Основы и примеры эквивалентностей в логике предикатов