( Doğru ya da yanlış yansıtan tümceye "kaziyye"(Önerme/Hükm/Kada) denir.
Kaziyye, felsefecilere göre 3, mantıkçılara göre 4 unsurdan meydana gelir.
Fârâbî'ye göre iki çeşit kaziyye vardır;
* Yüklemli önerme(el kazıyyetü'l-hamliyye) [-Konu(mevzû), -Yüklem(mahmûl)]
* Şartlı önerme(el-kazıyyetü'ş-şartıyye) (iki yüklemli önermenin bir "şart edatı" ile bağlanması )