Форма логического мышления, действие, в результате которого из одного или нескольких суждений получается новое, содержащее новое знание. Исходные суждения являются посылками. У. является формой опосредованного познания действительности. У. выводится из суждений, логически связанных. Их объекты – взаимозависимые явления и предметы объекти