Квазиидентичность
Эта статья в значительной степени или полностью основана на одном источнике . ( май 2024 г. ) |
В универсальной алгебре квазитождество является следствием формы
- с1 = т1 ∧ … ∧ сн = тн → с = т
где s 1 , ..., s n , t 1 , ..., t n , s и t — термины , составленные из переменных с использованием символов операций указанной сигнатуры .
Квазитождество равносильно условному уравнению, для которого сами условия являются уравнениями. С другой стороны, его можно рассматривать как дизъюнкцию неравенств и одно уравнение s 1 ≠ t 1 ∨ ... ∨ s n ≠ t n ∨ s = t — то есть как определенное предложение Хорна . Квазитождество с n = 0 является обычным тождеством или уравнением, поэтому квазитождества являются обобщением тождеств.
Смотрите также
Ссылки
- Беррис, Стэнли Н.; HP Sankappanavar (1981). Курс универсальной алгебры . Springer . ISBN 3-540-90578-2.Бесплатное онлайн-издание.
