Предикат "левый поворот"

Допустим нам дана задача: проверить, пересекаются ли заданные отрезки на плоскости. Для упрощения определения этого факта в вычислительной геометрии используется предикат "левый поворот". Left_Turn(a, b, c). Для начала разберемся, что за зверь такой - Предикат.

Определение:

Предикат (лат. praedicatum — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная

Примеры

- Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.

- Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.

Итак, у нас есть предикат, что же мы с ним будем делать? Пока не знаю...

Ссылки

• Wikipedia - Предикат