Akıl yürütme en az iki düşünce arasında gerçekleşir. Düşüncelerden biri diğerinin kanıtlayanıdır. Kanıtlayan düşünceden kanıtlanan düşünceye, diğer adıyla sonuca, ulaşırız. Mantıksal açıdan bu sürece ispat süreci veya kanıtlama süreci diyoruz. Mantık her düşünce türünü incelemez.