Ö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.
neden bekliyorsun?
bu sözlük, duygu ve düşüncelerini özgürce paylaştığın bir platform, hislerini tercüme eden özgür bilgi kaynağıdır.
katkıda bulunmak istemez misin?