Zihnin, birbiriyle ilişkili önermelerden yeni bir önerme çıkarmasına akıl yürütme denir. Üç yöntemi vardır: tümdengelim, tümevarım ve analoji. Birbiri ile ilişkilendirilmiş en az iki önermeden hareketle bir sonuca ulaşma işlemine akıl yürütme (kanıtlama) denir.