Умозаключение

Умозаключение – это форма мышления, посредством которой выводится новое суждение на основании одного или более известных суждений. Умозаключение представляет собой переход от некоторых высказываний A ,…,A 1 n (n≥1), фиксирующих наличие некоторых ситуаций в действительности, к новому высказыванию B и соответственно к знанию о наличие ситуации, которую описывает это высказывание. В структуре умозаключения принято выделять посылки и заключение. Процедура логического перехода от посылок к заключению называется выводом.