Состав отношений
- Отношения в логике используются для описания связей между объектами.
- Отношения могут быть бинарными, т.е. связывающими два объекта.
- Логические матрицы используются для представления отношений между объектами.
- Композиция отношений используется для различения соотношений типа Феррера.
- Правила Шредера упорядочивают логическую решетку всех бинарных отношений.
- Операции сравнения с делением дают частные, такие как левый остаток, правый остаток и симметричный коэффициент.
- Оператор вилки используется для объединения двух отношений в новое отношение.
- Операция соединения в реляционной алгебре является другой формой составления отношений.
Полный текст статьи: