Belli önermelerin kabul edilen ya da gerçek olan doğruluklarından ya da yanlışlıklarından, başka önermelerin kabul edilen ya da gerçek olan doğruluk ya da yanlışlıklarını çıkarmak.
verilen önermelerden zihnin sonuç çıkarmasına çıkarım denir. çıkarımda verilen önermelere öncül, öncüllerden zihnin zorunlu olarak çıkardığı önermeye ise sonuç önermesi denir.
