S ile P birli yüklemlerinden SaP (Bütün S ler P dir) tümel olumlu önermesini oluşturan a yöneten deyimi.