Mantık, bir akıl yürütmede yer alan önermelerin içerik bakımından denetlenmesiyle değil, akıl yürütmenin form bakımından zorunlu bir sonuç verip vermediğiyle ilgilenir
"Mantık, bir akıl yürütmede kanıtlayan durumundaki öncül veya öncüllerle, kanıtlanan durumundaki sonuç önermesi arasındaki kanıtlama bağıntısını inceler."