Предикат
пусть m – множество точек, прямых и плоскостей 3-мерного евклидова пространства со следующими предикатами:
t(x)=u⟺x-точка,
пр(x)=u⟺x-прямая,
пл(x)=u⟺x-плоскость,
л(x)=u⟺x лежит на y.
записать следующие формулы:
а) через каждые две точки можно провести прямую; если эти точки различны, то такая прямая единственна;
б) через каждые три точки, не лежащие на одной прямой, можно провести единственную плоскость;
в) определение параллельных прямых;
г) определение параллельных плоскостей.
