Словарь по логике
- Равенство
- Отношение равенства является разновидностью отношения эквивалентности; в БД имеется несколько вариантов теории равенства:
- E1 бескванторный вариант
- SE1 бескванторный вариант на множествах
- QE1 кванторный вариант.
© Автор статьи.