Bir akıl yürütmede en az bir öncül ve sonuç bulunur. Öncül de sonuç da bir önermedir. Öncül önerme gerekçe durumunda, sonuç önermesi gerekçelendirilmiş durumundadır. Mantık bu önermeler arasında kurulan bağlantıyı inceler.