Условные (импликативные) суждения включают в качестве составных два суждения — антецедент и консеквент, объединяемые связкой "если..., то...". Например: "Если предохранитель расплавился, то электролампа гаснет". В этом предложении два суждения. Первое из них "Предохранитель расплавился" называют антецедентом (предшествующим); второе — "Электролампа гаснет" — консеквентом (последующим). Логическая связка "если..., то..." показывает, что явление, о котором идет речь в предшествующем суждении, выступает условием возникновения, существования или изменения другого обусловленного явления в последующем суждении.

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

Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения являются исходные суждения, из которых выводится новое суждение. Это новое суждение, полученное логическим путем из посылок, называется заключением. А сам логический переход от посылок к заключению и есть вывод. Отношение логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: должны быть истинными посылки и должны соблюдаться определенные правила вывода — методы мышления.

Методы мышления

Умозаключение является наиболее сложной формой и продуктом мышления. Оно основывается на данных ряда суждений и осуществляется путем рассуждения. Различают три основных метода (способа) получения умозаключений при рассуждении: дедукция, индукция и аналогия.

Дедуктивное умозаключение (от лат. deductio — выведение) — ход рассуждений при получении заключения идет от более общего знания к частному (от общего к единичному), здесь переход от общего знания к частному является логически необходимым.