- бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что каждому значению у отношения xRy соответствует лишь одно -единственное значение х. Примером О. ф. может быть отношение «х отец у», т. к. каждому значению у соответствует единственное значение х: каждый человек имеет единственного отца . Свойство функциональности отношения R записывается в виде аксиомы: из (xRy и zRy) следует (x-z). Поскольку каждому значению у в выражениях xRy и zRy соответствует одно и то же значение для х и z, то х и z совпадут, окажутся одними и теми же. О. ф. - однозначно, поскольку в общем случае каждому значению у отношения xRy соответствует лишь одно-единственное значение х, но не наоборот : каждому значению х отношения xRy может соответствовать не одно-единственное у. Так, в отношении «х отец у» каждому х может соответ- ствовать несколько у; каждый отец может иметь несколько детей. Частным случаем О. ф. xRy является одно-однозначное или взаимно однозначное отношение: в нем не только каждому значению х соответствует единственное значение у, но и каждому значению у соответствует единственное значение х. Примером такого отношения может быть и отношение «х есть отец единственного у». Другим примером одно-однозначного отношения могут быть отношения между числа ми, выражаемые формулой «х=-у», т. к. для каждого числа у имеется лишь одно число , удовлетворяющее этой зависимости, и для каждого числа х имеется также лишь одно число, удовлетворяющее той же самой зависимости (см.: Функция ).
Что такое Отношение Функциональное (Однозначное)? Значение Отношение Функциональное (Однозначное) в словаре логики
Отношение Функциональное (Однозначное) - - бинарное (двухместное) отношение R, определенное на некотором множестве и характеризующееся тем, что каждому значению у отношения xRy соответствует лишь одно-единственное значение х. Примером О. ф. может быть отношение «х отец у», т. к. каждому значению у соответствует единственное значение х: каждый человек имеет единственного отца. Свойство функциональности отношения R записывается в виде аксиомы: из (xRy и zRy) следует (x-z). Поскольку каждому значению у в выражениях xRy и zRy соответствует одно и то же значение для х и z, то х и z совпадут, окажутся одними и теми же. О. ф. - однозначно, поскольку в общем случае каждому значению у отношения xRy соответствует лишь одно-единственное значение х, но не наоборот: каждому значению х отношения xRy может соответствовать не одно-единственное у. Так, в отношении «х отец у» каждому х может соответ- ствовать несколько у; каждый отец может иметь несколько детей. Частным случаем О. ф. xRy является одно-однозначное или взаимно однозначное отношение: в нем не только каждому значению х соответствует единственное значение у, но и каждому значению у соответствует единственное значение х. Примером такого отношения может быть и отношение «х есть отец единственного у». Другим примером одно-однозначного отношения могут быть отношения между числами, выражаемые формулой «х=-у», т. к. для каждого числа у имеется лишь одно число, удовлетворяющее этой зависимости, и для каждого числа х имеется также лишь одно число, удовлетворяющее той же самой зависимости (см.: Функция).
Соседние слова
Что такое Отношение РефлексивноеЧто значит Отношение Симметричное
Что означает Отношение Типа Равенства
Значение Отношение Транзитивное
↑ Отношение Функциональное (Однозначное) ↓
Что такое Отрицание
Что значит Отрицательное Высказывание
Что означает Оценка
Значение Оценок Логика
Узнайте лексическое, прямое, переносное значение следующих слов:
- Поспешное Обобщение - — логическая ошибка в индуктивном выводе. Суть ее ...
- Порочный Круг - — логическая ошибка в определении понятий и в ...
- Понимание - — универсальная операция мышления, связанная с усвоением нового ...
- Полемика - разновидность спора, отличающаяся тем, что основные усилия ...
- Подтверждение - — соответствие теории, закона, гипотезы некоторому факту или ...
- Пересечение Классов (Множеств) - логическая операция по нахождению общих для класса ...
- Паранепротиворечивая Логика - логика, не позволяющая выводить из противоречия произвольное ...
- Опровержение - — рассуждение, направленное против выдвинутого тезиса и имеющее ...
- Определение Реальное - — определение, дающее описание какихто объектов. О. р. ...
- Определение Операциональное - определение физических величин (длины, массы, силы и ...
- Определение Неявное - — определение, не имеющее формы равенства двух понятий. ...
- Определение Генетическое - (от греч. genesis происхождение, источник) — классическое, ...
- Определение - (лат. definitio) — логическая операция, раскрывающая содержание понятия. ...
- Описательное Высказывание - см.: Высказывание дескриптивное. ...
- Аргументация Эмпирическая - аргументация, неотъемлемой частью которой является ссылка на ...