přeložitelnost

Logika, relace ekvivalence, která je mezi výrazy, jež se dají v jisté třídě kontextů vzájemně zaměnit, přičemž tato záměna ponechává těmto kontextům jistou požadovanou vlastnost. Podle toho, jak se tato požadovaná vlastnost vymezí, vzniknou různé druhy relace přeložitelnostI (přeložitelnost se zachováním pravdivosti, významu, analytičnosti).

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 27. 3. 2007
Autor: -red-