Простейшее уравнение второго порядка Логика второго порядка примеры