Mantıkta niceleme bir açık önermeyi sağlayan örneklerin niceliğini belirten bir yapıdır örneğin aritmetikte n

Mantıkta, niceleme, bir açık önermeyi sağlayan örneklerin niceliğini belirten bir yapıdır.

Örneğin, aritmetikte, niceleme sayesinde her doğal sayının bir ardılı olduğu ifadesi kurulabilir. Nicelik belirten bir dil öğesi ("her" gibi) niceleyici olarak adlandırılır. Biçimsel dillerde, niceleyiciler verilen bir önermeden yeni bir önerme yaratmak için kullanılır. Yaratılan önerme dilin kurallarına göre yorumlanır.

Sembolik mantıkta kullanılan iki temel niceleme türü ve nicelemedir. Evrensel niceleme için geleneksel olarak kullanılan sembol ters çevrilmiş A'dır, "∀". Varoluşsal niceleme için geleneksel olarak kullanılan sembol ters çevrilmiş E'dir, "∃". Bu niceleyicilerin genelleştirilmesi ve 'ün çalışmalarıyla başlar.

Niceleyiciler doğal dillerde de kullanılır; Türkçe'deki örnekleri her, bazı, birçok, biraz ve hiçtir.

Ayrıca bakınız

Kaynakça

^ ^a ^b Öztürk, Ali Bilge (2015). "İkinci seviye mantığın mantıksallığı: İlgili tartışmalar üzerine eleştirel bir değerlendirme". Journal of Human Sciences. 12 (2). ss. 1712--1733.

Matematik ile ilgili bu madde seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

[ozturk-1] Öztürk, Ali Bilge (2015). "İkinci seviye mantığın mantıksallığı: İlgili tartışmalar üzerine eleştirel bir değerlendirme". Journal of Human Sciences. 12 (2). ss. 1712--1733.