BSTS / Mantık Terimleri Sözlüğü
doğruluk değeri soyutlayıcısı anlamı İng. truth-value abstractor Alm.Wahrheits-wertsabstraktor Fr. abstracteur de valeur de vérité
p önermesinden, bu önermenin kaplamı olan doğruluk değerini gösteren {| p} deyimini oluşturan sıfırlı bağıntı soyutlayıcısı.