В логике и формальной семантике обозначение всегда привлекает значение расширения пары интенсионал \ / O / расширение, но другой элемент действительно меняется.
В логике и семантике денотационный всегда привлекает расширение, означающее «в паре», но другой элемент действительно меняется.