1. Главная
  2. Библиотека
  3. Логика
  4. Определить свойства бинарных отношений (рефлексивность,...
Разбор задачи

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

  • Предмет: Логика
  • Автор: Кэмп
  • #Математическая логика
  • #Теория множеств
Определить свойства бинарных отношений (рефлексивность, симметричность, транзитивность, антисимметричность): а) на множестве . б) на множестве двоичных последовательностей (из нулей и единиц) длины такого, что , если и имеют одинаковое число нулей.

Условие:

Определить свойства бинарных отношений (рефлексивность, симметричность, транзитивность, антисимметричность): а) на множестве M={1,2,3,4,5,6,7,8,9}xρyxy+1M=\{1,2,3,4,5,6,7,8,9\} x \rho y \Leftrightarrow x \leq y+1. б) ρ\rho на множестве двоичных последовательностей (из нулей и единиц) длины nn такого, что aρba \rho b, если aa и bb имеют одинаковое число нулей. (Пример: 10110ρ0110110110 \rho 01101.) в) на множестве слов над алфавитом {a,b,c}\{a, b, c\} отношения  такого, что u  v, если \sqsubseteq ~ такого, ~ что ~ u ~ \sqsubseteq ~ v, ~ если ~ слово uu является префиксом (не обязательно собственным) слова vv. (Например, aaba a b \sqsubseteq aabaaabba)a a b a \sqsubseteq a a b b a)

Решение:

a) Рассмотрим бинарное отношение ρ\rho на множестве M={1,2,3,4,5,6,7,8,9}M=\{1,2,3,4,5,6,7,8,9\}, определенное как xρyxy+1x \rho y \Leftrightarrow x \leq y + 1.

  1. Рефлексивность: Отношение рефлексивно, если для любого xMx \in M выполняется xρxx \rho x. Проверим: xx+1x \leq x + 1 всегда верно, следовательно, отношение рефлексивно.

  2. Симметричность: Отношение симметрично, если для любых x,yMx, y \in M, если xρyx \rho y, то yρxy \rho x. Проверим: Если xy+1x \leq y + 1, то не обязательно yx+1y \leq x + 1. Например, 1ρ21 \rho 2 (так как 12+11 \leq 2 + 1), но 2ρ̸12 \not\rho 1...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое свойство бинарного отношения означает, что для любых элементов x и y из множества, если x связано с y и y связано с x, то x и y должны быть одним и тем же элементом?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет