Kategorik Önerme

Kategorik önerme, kıyas ya da geleneksel mantıkta, yüklemin herhangi bir niteleme olmaksızın konunun tamamını ya da bir kısmını olumladığı ya da reddettiği önerme ya da ifade. Dolayısıyla, kategorik önermeler dört temel formdadır: "Her S P'dir," "Hiçbir S P değildir," "Bazı S'ler P'dir," ve "Bazı S'ler P değildir." Bu biçimler sırasıyla A, E, I ve O harfleriyle gösterilir, böylece örneğin "Her insan ölümlüdür" bir A önermesidir. Kategorik önermeler, bütünleyici terimler olarak girdikleri bileşik ve karmaşık önermelerden ayırt edilmelidir; özellikle, mantıksal bağlantılardan ziyade olgu iddiaları olarak, özellikle "Her insan ölümlüyse, o zaman Sokrates ölümlüdür" gibi varsayımsal önermelerle tezat oluştururlar.