saydam bağlam

saydam bağlam ne demek?

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üğü İçerisinde Arama

# A B C Ç D E F G H I İ J K L M N O Ö P Q R S Ş T U Ü V Y Z