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