Mevcut öncüller ile varılan sonuç. Çıkarım yapmak, mevcut kanıtlarla varılan sonuçlara atıfta bulunmak için kullanılır ve akıl yürütme ile bir sonuca varma süreci olarak da ifade edilir. Doğru öncüllerden doğru çıkarımlar yapılabileceği gibi doğru öncüllerden yanlış çıkarımlar yapmak veya yanlış öncülden doğru çıkarımlar yapmak mümkündür.