конъюнкция

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

    Словарь терминов логики

  • 92модус поненс — (лат. modus ponens) термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., обычно называемое правилом отделения (иногда гипотетическим силлогизмом), позволяет от утверждения… …

    Словарь терминов логики

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

    Словарь терминов логики

  • 94пропозициональная связка — операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к. л. формулы (простые,… …

    Словарь терминов логики

  • 95транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… …

    Словарь терминов логики

  • 96функтор — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак + можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние… …

    Словарь терминов логики

  • 97Зайцев, Дмитрий Владимирович — (р. 21.02.1962) спец. по логике; канд. филос. наук. Род. в Москве. Окончил филос. ф т МГУ (1988), асп. филос. ф та (1991). Канд. дисс. "Релевантная логика и социология: семантические проблемы" (1991). С 1991 работает на кафедре логики… …

    Большая биографическая энциклопедия

  • 98Вероятностная логика —         логическая система, в которой высказываниям (суждениям, утверждениям, предложениям), помимо истины и лжи, приписываются «промежуточные» истинностные значения, называемые вероятностями истинности высказываний, степенями их правдоподобия,… …

    Большая советская энциклопедия

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

    Большая советская энциклопедия

  • 100Логическая операция —         в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… …

    Большая советская энциклопедия