Kıyaslama veya geleneksel mantıkta kategorik önerme , yüklemin niteliksiz olarak, öznenin tamamı veya bir kısmı tarafından onaylandığı veya reddedildiği bir önerme veya ifade. Böylece, kategorik önermeler dört temel formların şunlardır: “Her S ise P, ” Hayır “ S ise , P ” Bazı “ S ise , P ” Bazı “ve S değildir P. Bu formlar harflerle gösterilirken” A, E , Sırasıyla I ve O, böylece "Her insan ölümlüdür", örneğin, bir A-önerme. Kategorik önermeler, içine integral terimler olarak girdikleri bileşik ve karmaşık önermelerden ayırt edilmelidir; özellikle, mantıksal bağlantılardan ziyade gerçek iddiaları olarak, özellikle "Her insan ölümlü ise Sokrates ölümlüdür" gibi varsayımsal önermelerle tezat oluşturuyorlar.
Bu makale en son, Okuyucu Editörü John M. Cunningham tarafından revize edilmiş ve güncellenmiştir.
