Question

1)составить выражение, являющееся предикатом, и выражение, не являющее предикатом. доказать это 2)составить 3 предиката, для которых множеством истинности является · пустое множество · одно или несколько конкретных значений · промежуток 3)в интерпретации i – 3х-мерное евклидово пространство – составить в виде предикатной формулы следующие выражения, используя t(x) « «x является точкой» pr(x) « «x является прямой» pl(x) « «x является плоскостью» l(x,y) « «x лежит в/на y» a(x,y) « «x параллельно y» а.) если прямая перпендикулярна двум пересекающимся прямым, лежащим в плоскости, то она перпендику-лярна данной плоскости. б.) если плоскость проходит через прямую, перпендикулярную другой плоскости, то эти плоскости перпендикулярны