<<
>>

Свойства бинарных отношений

Отношение рефлексивности

Некоторое отношение, имеющее место среди предметов определенного класса, называется рефлексивным, если каждый предмет этого класса находится в данном отношении к самому себе.

Символически это отношение записывается так: VxVy(xRy —> xRx л yRy).

Примером рефлексивных отношений будут отношения «равенство», «эквивалентность», «тождество».

Отношение антирефлексивности.

Отношение называется антирефлексивным, если ни один предмет данного класса не находится в этом отношении к самому себе. Таковы отношения «отцовство», «больше», «неравенство».

Отношение симметричности

Отношение называется симметричным, если для любых предметов х и у данного класса верно, что если предмет х находится в каком- то отношении к предмету у, то и предмет у находится в этом отношении к предмету х. Символическая запись данного свойства:

VxVy(xRy —> yRx).

Свойством симметричности обладают отношения «равенство», «неравенство», «соседство».

Отношения асимметричности. Отношение между предметом называется асимметричным, если перестановка их влечет за собой исчезновение этого отношения. Например, «является мужем», «быть больше».

Отношение несимметричности имеет место тогда, когда оно не является ни симметричным, ни асимметричным. Например, «ухаживать за» (оно не является симметричным, в то же время с необходимостью не является асимметричным).

Отношение транзитивности

Отношение называется транзитивным, если из наличия этого отношения между предметами х и у, а также между у и z следует его наличие между х и z

VxVyVz(xRy л yRz —> xRz).

Примером транзитивных отношений являются отношения «больше», «равно», «ниже».

В случае, если указанное выше условие не выполняется, отношение называется нетранзитивным. Таковыми являются отношения «любить», «дружба», «зависеть».

Отношение эквивалентности

Отношение будет эквивалентным, если оно обладает свойствами рефлексивности, симметричности и транзитивности.

Эквивалентными будут отношения «равенство», «тождество», «сверстничество» (одного возраста).

Теория суждений отношений выходит за рамки традиционной логики. Современная формальная логика рассматривает суждения свойства (атрибутивные) как частный случай суждений отношений, а именно как суждения с одноместным предикатом.

Деление атрибутивных суждений по качеству и количеству

Деление атрибутивных суждений по качеству

Деление атрибутивных суждений по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие свойства предмета мысли и выражающейся словами «есть», «суть», «быть», «являться».

В соответствии с этим атрибутивные суждения делятся не утвердительные и отрицательные. Например, «Все люди суть разумные существа» - утвердительное суждение, «Ни один папоротник никогда не цветет» - отрицательное суждение.

Деление атрибутивных суждений по количеству

В зависимости от того, утверждается или отрицается что-либо о предмете мысли относительно всего логического класса, части его или одного предмета, атрибутивные суждения делятся на общие, частные или единичные. Например, суждение «Все металлы - проводники» - общее, «Некоторые люди не знают грамоты» - частное, «Иван Сергеевич Тургенев - автор романа «Отцы и дети»» - единичное.

<< | >>
Источник: Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.. 2004

Еще по теме Свойства бинарных отношений:

  1. Глава 4. Множества и отношения
  2. Глава 5. Строение предложенийи их символическая запись
  3. 2.2. Классификация простых суждений
  4. Свойства бинарных отношений
  5. 4.2. Содержательно-процессуальный компонент процесса формирования конфликтологической культуры специалиста
  6. ИЗ ИСТОРИИ ЕВРОПЕЙСКОЙ РИТОРИКИ СО ВРЕМЕН ЕЕ ЗАРОЖДЕНИЯ. ФИЛОСОФСКАЯ И СЕМАНТИЧЕСКАЯ ЦЕННОСТЬ ОПЫТА РИТОРИЧЕСКИХ ИССЛЕДОВАНИЙ 
  7. ФИЛОСОФИЯ И ЕЕ ОТНОШЕНИЕ И КАРДИНАЛЬНЫМ ВОПРОСАМ ЛИНГВИСТИЧЕСКОЙ НАУКИ 
  8.   ПЛАСТИЧЕСКИЕ СВОЙСТВА ПОНЯТИЯ И ЗНАКА
  9. Список сокращений
  10. СТАТЬЯ 2 Ритуальная интерпретация мифа
  11. Проблемы онтологии Субстанция и бытие
  12. ВЗГЛЯД НА РАЗВИТИЕ СЕМИОТИКИ
  13. Свойства бинарных отношений.
  14. ЛОГИКА ОТНОШЕНИЙ