přeložitelnost

přeložitelnost, log. 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. (p. se zachováním pravdivosti, významu, analytičnosti).