Skip to content

ЭКВИВАЛЕНТНОСТЬ

Equivalence

Identical value, in logic, a relation between two propositions wherein these propositions are either both true or both false. The symbolic notation is shown by the signs ≡ or ~. For example, the propositions "the number is divisible by 6" (A) and "the number is divisible by 2 and by 3" (B) are equivalent (A≡B). This can also be expressed by "a number is divisible by 6 if and only if it is divisible by 2 and by 3". The negation of equivalence is synonymous of exclusive disjunction.

Эквивалент

Равноценная, равнозначащая величина.

Эквивалентность

Наименование отношений типа равенства, т. е. рефлексивных (см. Рефлексивность), симметричных (см. Симметричность) и транзитивных (см. Транзитивность) бинарных отношений. Например: конгруэнтность или подобие геометрических фигур, изоморфизм, равномощность множеств Э. каких-либо объектов означает их равенство (тождество) в каких-либо отношении (например, изоморфные множества неразличимы по своей «структуре», если под «структурой» понимать совокупность тех их свойств, относительно которых эти множества изоморфны).