p önermesinden, bu önermenin kaplamı olan doğruluk değerini gösteren {| p} deyimini oluşturan sıfırlı bağıntı soyutlayıcısı.
