Öbekleyici anlamı nedir?
- (
) 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ı. ----
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları