Mantiqiy ifodalar  va amallar.Mantiq ilmining alohida fan sifatida shakllanishi miloddan avvalgi IV asrda yashab o‘tgan buyuk yunon olimi Arastu (Aristotel) ismi bilan bog‘liq.U birinchi bo‘lib mantiq ilmi o‘rganadigan masalalar doirasini aniqladi.