Tek bir yargıya dayanıp onu bildiren önermelerin, yani basit önermelerin geleneksel mantık açısından en önemli türü kategorik önermelerdir. Kategorik önerme, (açık ya da gizli olarak belirtilmiş) bir özneye bir yükleme yapan önermedir, yani bir özne-yüklem önermesidir.