yunan düşüncesinin, özellikle de mantığın kurucusu ve sistemleştiricisi aristoteles`in kategorik önerme, anlamlı olup doğruluk değeri taşıyan kaziye, özne, yüklem ve bir bağlaçtan oluşan, ya bağımsız bir önerme formunda ya da bir tasımın sonucu olarak ortaya çıkan, bir şeyi bir şey hakkında olumlayan ya da olumsuzlayan önerme için kullandığı terim.