Описание логической модели Реальное определение в логике примеры