Birbiri ile ilişkilendirilmiş en az iki önermeden hareketle bir sonuca ulaşma işlemine akıl yürütme (kanıtlama) denir. Tek başına hiçbir önerme akıl yürütme için yeterli değildir. Mantıkta önermeler kullanılarak doğru çıkarımlar elde etmek için üç akıl yürütme tekniği uygulanır.