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