Формально номинально Реальное и номинальное определение в логике примеры