Sürüklenebilir Ögeler
Önermeleri ve çıkarımları nitelik yönünden ele alır.Önermeleri sembolleştirdiğimizde tümel mi tikel mi olduğu anlaşılmaz.Sadece önerme eklemleri dikkate alınarak sembolleştirme yapılır.Önermelerin ve çıkarımların daha ayrıntılı sembolleştirilmesini sağlar.’değil, ve, veya, ise, ancak ve ancak’ değişmezlerine ’her, bazı’ gibi niceleyiciler eklenir.Yüklemler mantığı da denir.
Önermeler mantığı ile niceleme mantığına ait verilen özellikleri tabloda doğru alanlara yerleştiriniz.