Інтелектуальна операція, яка полягає у встановленні істинності деякого судження, у вигляді його виведення з інших суджень, істинність яких належить встановленій цій операції і незалежно від неї, і навіть у вигляді підтвердження фактами і практичної діяльністю.