Поиск в словарях
Искать во всех

Словарь логики - непосредственное умозаключение

 

Непосредственное умозаключение

непосредственное умозаключение
(в традиционной логике) — умозаключение из одной посылки. К числу Н. у. относят­ся обращение суждений, превращение суждений, противопоставле­ние предикату, некоторые умозаключения по логическому квад­рату, напр.

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

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

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):