Öncüller, akıl yürütmede kanıt durumunda bulunur. Sonuç da öncüller de bir önermedir ve yargı bildirir. Sonuç, öncüllerden hareketle gerekçelendirilmiş önermedir. Mantık tam olarak bu noktada devreye giriyor, bu gerekçelendirmeyi denetliyor. Bu yönüyle mantık, denetleyicidir.