Квазитождество
условное тождество,- формулы логического языка 1-й ступени вида где через А 1,. , А р, А обозначены простейшие формулы вида а f, g,a1, . , a т- термы от x1,. , х п, Р - сигнатурный предикатный символ. Квазитождествами определяются алгебраических систем квазимногообразия. Тождество - частный случай К. О. А. Иванова..
Дополнительный поиск Квазитождество
На нашем сайте Вы найдете значение "Квазитождество" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Квазитождество, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 14 символа