saydam bağlam

saydam bağlam İng. referentially transparent context

p gibi bir önermenin a adının belli bir geçişi için saydam bağlam olması, b gibi her ad için a = b olduğunda p içinde a nın söz konusu geçişi yerine b koymakla elde edilen önermenin p ile aynı doğruluk değerinde olması demektir.|| Krş.. saydamsız bağlam. Örn. 2+1


saydam bağlam için benzer kelimeler


saydam bağlam, 13 karakter ile yazılır. Ayrıca, s harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise, 's', 'a', 'y', 'd', 'a', 'm', ' ', 'b', 'a', 'ğ', 'l', 'a', 'm', şeklindedir.
saydam bağlam kelimesinin tersten yazılışı malğab madyas diziliminde gösterilir.