условное тождество,- формулы логического языка 1-й ступени вида
где через А 1,... , А р, А обозначены простейшие формулы вида
а f, g,a1, ... , a т- термы от x1,... , х п, Р - сигнатурный предикатный символ. Квазитождествами определяются алгебраических систем квазимногообразия. Тождество - частный случай К.
О. А. Иванова.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
РАЗЛИЧИЕ — сравнит. характеристика объектов на основании того, что признаки, присутствующие у одних объектов, отсутствуют у других; в матсриалистич. диалектике Р. понимается как необходимый момент всякой вещи, явления и процесса, характеризующий их… … Философская энциклопедия
Интертипные отношения — разрабатывавшаяся в соционике теория об отношениях между представителями социотипов, обусловленных отличиями этих социотипов. Содержание 1 14 видов интертипных отношений по модели А … Википедия
