BSTS / Mantık Terimleri Sözlüğü
sav soyutlayıcısı anlamı İng. propositional abstractor Alm. Propositionalabstraktor Fr. abstracteur propositionnel
p önermesinden, bu önermenin içlemini gösteren [p] deyimini oluşturan [...] birli işlevi. || Anl. sıfırlı öznitelik soyutlayıcısı.