Saydam Bağlam anlamı nedir?
- 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
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları