Условие задачи
На координатной плоскости даны множества А и В (А ограничено красным цветом, В – синим, границы включены в множества). Описать предикат PC(z),
определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству С, и значение «ложь», если точка z не принадлежит множеству С. Для записи предиката можно использовать любые логические операции и сравнение ≤.
Ответ
Точка на плоскости - это пара чисел (х,у), поэтому предикаты будут двухместными.
Множество 
- это множество точек плоскости, лежащих в синем прямоугольнике, но не лежащим в красном ромбе.
Введем следующие предикаты.
Потяни
