3) Определяющий признак, его структура.

Нетрудно заметить, что определяющий признак – это предикат (высказывательная форма), причём с одной переменной, когда определяется объект, и с двумя и более переменными, если определяется отношение между объектами. Определяющий признак может иметь простую структуру, тогда он выражен простым предложением. Если определяющий признак представляет собою конъюнкцию, дизъюнкцию или импликацию простых предикатов, содержит кванторы, то говорят, что он имеет сложную структуру.

Пример 3. В определении параллельных прямых в пространстве: «Две прямые называются параллельными, если они лежат в одной плоскости и не пересекаются», – определяющий признак имеет конъюнктивную структуру. В определении неправильной дроби: «Обыкновенная дробь называется неправильной, если её числитель больше или равен знаменателю» – дизъюнктивную, в определении функции, возрастающей на промежутке, – импликативную и, кроме того, содержит кванторы.