Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Форум «Всё о Паскале» _ Математика _ Предикаты(сформулировать признак)

Автор: 18192123 14.05.2007 22:21

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

Автор: Altair 15.05.2007 0:19

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

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

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


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

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

Автор: 18192123 15.05.2007 0:37

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


Эскизы прикрепленных изображений
Прикрепленное изображение