ekwiwalentno
Ekwiwalentno is a term used to describe the property that two expressions, states, or objects are interchangeable in terms of meaning, value, or outcome within a given context. It is most often discussed in relation to equivalence and paraphrase, and it appears in logic, mathematics, linguistics, and computer science. The core idea is that substituting one item for another does not change the result under the same interpretation.
In logic and mathematics, two formulas A and B are ekwiwalentne when, for every interpretation, A and
In computing, the notion supports substitution of equivalent expressions during optimization or refactoring, where the observable
See also ekwiwalentność, semantic equivalence, logic, paraphrase.