• А
  • Б
  • В
  • Г
  • Д
  • Е
  • Ж
  • З
  • И
  • Й
  • К
  • Л
  • М
  • Н
  • О
  • П
  • Р
  • С
  • Т
  • У
  • Ф
  • Х
  • Ц
  • Ч
  • Ш
  • Щ
  • Ф
  • Э
  • Ю
  • Я
  • Обратный клапан

    Обратный клапан, устройство, пропускающее поток жидкости или газа по трубопроводу только в одном направлении и автоматически закрывающееся при перемене направления потока. Применяется в различных…



    Обратный код

    Обратный код, см. в статье Код в ЦВМ…



    Обратный словарь

    Обратный словарь, словарь, в котором заглавные слова располагаются с учётом алфавита не от начала слова к концу (как, например, в толковых словарях), а от конца слова к началу. Например, "борода"…



    Обращающий слой Солнца

    Обращающий слой Солнца, тонкий слой солнечной атмосферы (толщиной около 300 км), в котором образуются линии поглощения спектра Солнца. Эти линии возникают в результате того, что энергия излучения…



    Обращение взыскания на имущество

    Обращение взыскания на имущество, по советскому праву один из способов принудительного исполнения судебных решений, касающихся имущественной ответственности. Осуществляется только на основании…



    Обращение (в логике)

    Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов — субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения (вида "Ни одно S не есть Р") и все частноутвердительные предложения (вида "Некоторые S суть Р"). Общеутвердительные предложения (вида "Все S суть Р") обращаются с ограничением, т. е. их О., вообще говоря, даёт снова истинное предложение, если квантор "Все" заменяется квантором "Некоторые". Частноутвердительные предложения (вида "Некоторые S не суть Р") не обращаются: из того, что некоторые люди не курящие, не следует, что некоторые курящие не люди.

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

    В логике отношений, где с каждым отношением между терминами х и у связывается понятие об отношении между терминами у и х, обратном первоначальному, О. — это операция замены данного отношения обратным ему с одновременной перестановкой терминов отношения.

    М. М. Новосёлов.

     

    Квантор

    Квантор (от лат. quantum - сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке…

    Логика

    Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Л." в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. logos, от которого…

    Логика предикатов

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

    Логика отношений

    Логика отношений, раздел логики, посвященный изучению отношений между объектами различной природы. В естественных языках отношения выражаются сказуемыми предложений, имеющих более одного подлежащего (…