Encyclopedia > O > Observational equivalence
Observational equivalence
Two terms M and N are observationally equivalent if for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value. Thus it is not possible to differentiate between the two terms.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)