НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике)

умозаключение из одной посылки. К числу Н. у. относятся обращение суждений, превращение суждений, противопоставление предикату, некоторые умозаключения по логическому квадрату, напр. от истинности общих суждений (А и Е) к истинности соответствующих частных суждений (I и О) и др.

Иногда Н. у. ограничиваются умозаключениями из простых атрибутивных суждений, иногда же в их число включаются и умозаключения из суждений с отношениями, и умозаключения из сложных суждений (см.: Суждение). В последнем случае к числу Н.у. относятся и такие умозаключения из одной посылки, как, напр., умозаключения из суждений вида xRy, где R — симметричное отношение. Так, из посылки а = b можно получить заключение b = а; к их числу можно отнести и контрапозицию условного суждения (см.: Контрапозиции законы). Так, из суждения «Если число п делится на 6, то оно делится и на 2» можно сделать заключение «Если число п не делится на 2, то оно не делится на 6».

НЕПРАВИЛЬНОЕ УМОЗАКЛЮЧЕНИЕ, см.: Умозаключение.

Вернуться к оглавлению

© 2000- NIV