Используйте допущения, чтобы ограничить возможный диапазон значений переменных или выражений. Дополнительные сведения см. в разделе Использование допущений для символьных переменных. Чтобы проверить, сохраняется ли условие, используйте isAlways.
Использование допущений для символьных переменных
Моделирование проблемы и упрощение результатов с помощью предположений.
Очистить допущения и сбросить символьный механизм
Снять допущения и сбросить состояние двигателя.