Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

Словари:

Архитектурный словарь
Бизнес словарь
Биографический словарь
Исторический словарь
Медицинский словарь
Морской словарь
Политический словарь
Психологический словарь
Религиозный словарь
Сексологический словарь
Словарь воровского жаргона
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер и весов
Словарь нумизмата
Словарь Русских фамилий
Словарь символов
Словарь синонимов
Социологический словарь
Строительный словарь
Философский словарь
Финансовый словарь
Экономический словарь
Этнографический словарь
Юридический словарь



Словарь логики

Отношение:



Отношение - (в логике) отождествляется с многоместным предикатом.  Предикаты подразделяются на одноместные, соот­ветствующие свойствам предметов, и многоместные (двухмест­ные, трехместные и вообще п-местные, где п ≥ 2), соответству­ющие О. При этом предикаты записываются в виде пропозици­ональных функций (см.: Функция пропозициональная). Число переменных в функции характеризует число мест, на которые могут подставляться имена предметов. Так, пропозициональ­ная функция Р(х) является функцией с одной переменной и соответствует свойству; пропозициональная функция xRy с дву­мя переменными соответствует двухместному О.; пропозицио­нальная функция R(x, у, z) с тремя переменными соответ­ствует трехместному О. и т. д. Примером одноместного предика­та и соответствующей ему пропозициональной функции от одной переменной может быть функция «четное число (х)» или «x — четное число». Она соответствует свойству «быть четным числом». Примером двухместного предиката и соответствующей ему пропозициональной функции от двух переменных может быть функция «х больше у». Она соответствует двухместному О. «боль­ше». Примером трехместного предиката и соответствующей ему пропозициональной функции от трех переменных может быть функция «х находится между у и z». Она соответствует трехмес­тному О. «находиться между». Свойство, таким образом, пред­ставляет собой такую характеристику предмета, приписывание которой одному-единственному индивиду приводит к образо­ванию либо истинного, либо ложного суждения. Так, подста­вив в функцию «х - четное число», соответствующую свой­ству, вместо переменной х индивид 4, мы получим истинное суждение «4 - четное число». Произведя вместо х подстановку числа 5, мы получим ложное суждение. О. же есть такая характе­ристика, которая для образования либо истинного, либо лож­ного суждения требует по меньшей мере приписывания ее двум предметам. Так, подставив вместо х и у в функцию «х больше у» числа 5 и 3, мы получим истинное суждение «5 больше 3»; под­ставив же числа 1 и 2, мы получим ложное суждение «1 больше 2». Если же мы припишем О. «больше» одному предмету, напр. числу 3, то получим выражение «3 больше», которое не образует истинного или ложного суждения, а является бессмысленным вы­ражением.
Похожие на Отношение слова / понятия:

Отношение Функциональное (Однозначное)
Отношение Нерефлексивное
Отношение Принадлежности Элемента Классу (Множе­Ству)
Отношение Рефлексивное
Отношение Симметричное
Отношение Типа Равенства
Отношение Транзитивное
Отношение Включения Класса В Класс
Отрицание
Отрицательное Высказывание