felsefe-resimleri-derss-net
Niceleme Mantığı
Önermelerin niceleyicilerini de (her, bazı) sembolleştirip niceleyicileri de dikkate alarak denetlemeler yapan mantık alanı niceleme mantığıdır. Niceleme mantığına yüklemler mantığı da denir. Yüklemler mantığı önermeleri iç yapıları ile sembolleştirir.
Niceleme mantığının konuları şunlardır :
Niceleyiciler : Niceleme mantığında karşımıza iki yeni sembol çıkar. Tümel niceleyici (”) = “her” anlamına gelir. Önermeler mantığındaki tümel evetleme eklemini (Ù) karşılar.
Tikel niceleyici ($) =”bazı” anlamına gelir. Önermeler mantığındaki tikel evetleme eklemini (Ú) karşılar.
Niceleme mantığında, önermeler mantığından farklı olarak yüklemler (F, B, H) ve bilinmeyen adlar (X, Y, Z) olarak sembolleştirilir.
Bilinen adlar yerine “a”, “b”, “c”, bilinmeyen adlar yerine “x”, “y”, “z” sembolleri kullanılır.
Niceleme mantığında,
Son yorumlar