Умозаключение — логическая форма выводного знания, состоящая в переходе от некоторых исходных суждений к новому знанию, вытекающему из этих суждений, являющихся его основанием.