En az iki önermeden birinden diğerini çıkarma işlemine akıl yürütme diyoruz. Akıl yürütmenin temel ögelerinden biri olan (gerekçe durumundaki önerme) öncül tek olmak zorunda değildir. Öncüller kanıt durumundadır ve bir akıl yürütmede birden fazla öncül bulunabilir.