Temelde iki çeşit akıl yürütme vardır, indüktif(tümevarımsal) ve dedüktif(tümdengelimsel) muhakeme. Türkçe karşılıklarından da anlaşıldığı gibi dedüktif muhakemede tüm için geçerli olan önermeden, doğal olarak özel bir durum için de geçerli olacağı önermeye geçeriz.