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

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

Сам признак


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

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

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