Предикаты(сформулировать признак) Опции

[18192123]

Мне нужно сформулировать признак перпендикулярности прямой и плоскости (если прямая перпендикулярна к двум пересекающимся прымым, лежащим в плоскости, то она перпендикулярна к этой плоскости), введя необходимые предикаты.
У меня затруднение с таким вопросом: какие нужно ввести предикаты?

Сообщение отредактировано: 18192123 - 14.05.2007 22:23

[Altair]

Признак перпендикулярности:

(Перпендикулярна(прямая, пересекающиеся_прямые) И Принадлежит(пересекающиеся_прямые, плоскоть))

Сам признак

Перпендикулярна(прямая, плоскость)

Из 1 формулы следует вторая, (даже более того первая есть описания второй) - я не помню как это описать, кажется написать вторую и поставить символ |-
тогда общий вид такой:

Код

Перпендикулярна(прямая, плоскость) |- (Перпендикулярна(прямая, пересекающиеся_прямые) И Принадлежит(пересекающиеся_прямые, плоскость))

Ну вот кажется так, если я ничего не напутал.

[18192123]

Нам объясняли в другой форме.... Вот какой был пример :
(прикреплённое изображение)
Как мне записать моё задание в похожей форме?

Сообщение отредактировано: 18192123 - 15.05.2007 22:35