Пример обобщения в логике