На головну

 Отримання наслідків з даних посилок. |  Отримання наслідків, що містять задані змінні. |  Рішення логічних задач методом міркувань. |  Методи рішення логічних задач |  Поняття перемикальної схеми. |  Аналіз, спрощення і синтез перемикачів схем. |  поняття предиката |  Способи завдання предиката |  Безліч істинності предикатів |  Мова логіки предикатів |

Поняття відносин. Властивості відносин.

  1.  I § ??1. Поняття державної інформаційної політики
  2.  I. Поняття про біологічному окисленні. Сутність окислювально-відновних реакцій в організмі
  3.  I. Поняття про постановку наголоси в російській мові (загальновживані слова).
  4.  I. Поняття про мови і її функціях
  5.  I. Будова і властивості металів.
  6.  II. Жири (ацілгліцероли). Їх структура, класифікація і властивості
  7.  III. Олігосахариди. Їх будова, властивості, представники

Бінарні відносини пов'язують два об'єкти, бувають: <,>, ¦, ?, ?, ?, +, =, <бути однолітками>, спорідненість, дружба, любов, <жити в одному будинку>, равносильность, проходження:

xRy - об'єкт x знаходиться у відношенні R з об'єктом y.

Властивості бінарних відносин:

1) Рефлексивність - xRx (=, =>, ¦, ?, ?, ?, спорідненість, любов, <один>)

2) Симетричність - (xRy) (yRx) (¦, =, +, ?, ?, ?, дружба, спорідненість, <бути однокласниками "," бути тезками>)

3) Транзитивність - (xRy) (yRz) => (xRz) (>, <, ?, ?, =, ¦, кровну спорідненість)

4) антирефлексивне -  (<,>, ?, +)

5) антисиметричного - ((xRy) (yRz)) => ( ) (<,>, <Жити поверхом вище>)

6) зв'язаність - (x ? y) => ((xRy)  (YRx)) (>, <, ?, ?)

Питання для контролю:

1. Поняття предиката. Способи завдання.

2. Поняття множини істинності предиката.

3. Відносини логічного слідування і логічної істинності висказивательную форм

4. Поняття відносин, властивості відносин.



 Дотримання і включення |  Квантори спільності і існування
© um.co.ua - учбові матеріали та реферати