ö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.
