
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,
Devamını okuyun »
admin tarafından yazılmıştır
\\ etiketler: Basit Genel Önerme, Bileşik Genel Önerme, Niceleme Mantığı, Niceleme Mantığında Çözümleme Kuralları, Niceleme Mantığında Eşdeğerlik Kuralları, Niceleme Mantığında Önerme Çeşitleri, Niceleme mantığının konuları nelerdir?, Niceleyiciler, Tikel Basit Genel Önerme, Tikel niceleyici ($), Tikel Özelleme Kuralı, Tümel Basit Genel Önerme, Tümel Özelleme Kuralı
Son yorumlar