Mantık Terimleri Sözlüğü
öbekleyici
(
) birli açık önermesinden, bu açık önermeyi
gerçekleyen özbirey ya da kümeler öbeğini gösteren (
) deyimini
oluşturan {x|...} biçimindeki değişken bağlayıcısı. || (
) yerine
(
) ya da (
) de yazılır. Biçimsel tanım: (
) (a bir özbireydir) V
(a bir kümedir)(
) (öbekleme ilksav kalıbı) .Anl. öbek
soyutlayıcısı. Krş.. soyutlayıcı, bağıntı soyutlayıcısı.
----