Пусть М – множество всех точек, прямых и плоскостей пространства со следующими предикатами:
Т(х) означает, что х – точка;
Пр(х) означает, что х – прямая;
Пл(х) означает, что х – плоскость;
Л(х,у) означает, что х принадлежит (лежит на) у.
Выразите следующие предикаты формулами:
а) «плоскости х и у имеют общую точку».
б) «если плоскости х и у имеют общую точку, то они имеют общую
прямую».