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
TDK Mantık Terimleri Sözlüğü