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).

Vytvořeno: 14. 3. 2000
Aktualizováno: 27. 3. 2007
Autor: -red-