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

Могут ли два непустых бинарных отношения, определенных на множестве из 3 элементов не пересекаться, но иметь одно и то же транзитивное замыкание?

  • Предмет: Логика
  • Автор: Кэмп
  • #Математическая логика
  • #Теория множеств
Могут ли два непустых бинарных отношения, определенных на множестве из 3 элементов не пересекаться, но иметь одно и то же транзитивное замыкание?

Условие:

Могут ли два непустых бинарных отношения, определенных на множестве из 3 элементов не пересекаться, но иметь одно и то же транзитивное замыкание?

Решение:

Решение задачи

1. Дано

  • Множество элементов: A={1,2,3}A = \{1, 2, 3\}. A=3|A| = 3.
  • Бинарные отношения R1R_1 и R2R_2 на множестве AA.
  • Отношения непустые: R1R_1 \neq \emptyset и R2R_2 \neq \emptyset.
  • Отношения не пересекаются: R1R2=R_1 \cap R_2 = \emptyset.

2. Найти

Возможно ли, что транзитивные замыкания этих отношений совпадают: Tr(R1)=Tr(R2)Tr(R_1) = Tr(R_2)?

3. Решение

Транзитивное замыкание отношения RR, обозначаемое Tr(R)Tr(R), — это наименьшее транзитивное отношение, содержащее RR.

Если Tr(R1)=Tr(R2)=TTr(R_1) = Tr(R_2) = T, где TT — некоторое транзитивное отношение на AA, то по опреде...

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

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

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

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

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

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

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

Топ 3 ошибок

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

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