tamdeyimsel değişken bağlama imi anlamı İng. variable-binding sign for formulas
Belli sayıda değişkene uygulandığında bir Tamdeyimden bir önerme oluşturan değişken bağlama imi; dizimsel türü: (…)