" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

КВАЗИТОЖДЕСТВО

Значение КВАЗИТОЖДЕСТВО в математической энциклопедии:

условное тождество,- формулы логического языка 1-й ступени вида

где через А ₁,... , А _р, А обозначены простейшие формулы вида

а f, g,a₁, ... , a _т- термы от x₁,... , х _п, Р - сигнатурный предикатный символ. Квазитождествами определяются алгебраических систем квазимногообразия. Тождество - частный случай К.

О. А. Иванова.