В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/teoriia-mnojestv-binarnye-otnosheniia-623a80b75ad1380b5eed16c8] были рассмотрены основные понятия, связанные с бинарными отношениями. В этой лекции сформулируем два понятия, которые были упущены в указанной лекции: это понятие обратного бинарного отношения и операция композиции бинарных отношений. сформулированные в текущей лекции понятия понадобятся для изучения материалов лекции [https://dzen.ru/media/id/603a418d1684900aa2499416/funkcii-623c2a6345b2554bbdf444b0]...

Приветствую Вас, уважаемые Читатели! В прошлой статье я рассказывал Вам о математических кварках - бинарных отношениях, которые называются рефлексивность, симметричность и транзитивность. Сегодня пришло время сконструировать из них структуру, лежащую в основе порядка - т.н. предпорядок или квазипорядок. Итак, предпорядок - это одновременно рефлексивное и транзитивное соотношение. Если из суждения А следует суждение B, а из суждения B следует суждение С, то из суждения А следует суждение С. Так же можно сказать, что из любого суждения следует оно же...