На координатной плоскости даны множества А и В

Точка на плоскости - это пара чисел (х,у), поэтому предикаты будут двухместными.
Множество C =A∩B - это множество точек плоскости, лежащих в синем прямоугольнике, но не лежащим в красном ромбе.
Введем следующие предикаты.
Р1(х,у)="(1≤x≤2)⋀2≤y≤5", Р2(х,у)="(2≤x≤5)⋀4≤y≤5",
Р3(х,у)="(4≤x≤5)⋀2≤y≤4".
Предикат Р1(х,у) ∨P2(х,у)∨P3(х,у) принимает значение истина, если и только если точка z=(x,y) принадлежит множеству С, и нулю в противном случае.
Множество истинности этого предиката показано (закрашено) ниже.
Уравнения сторон ромба задаются формулами у=x+1, y=-x+7, y=x-1,
y=-x+5 соответственно для сторон ромба, начиная со стороны, соединяющей точки (2;3)) (это пишется по формулам аналитической геометрии - уравнение прямой, проходящей через точки (х1,у1) и (х2,у2), выражается формулой x-x1x2-x1=y-y1y2-y1 , но это здесь и так очевидно