правило отделения


правило отделения
, см.: Модус поненс

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "правило отделения" в других словарях:

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

  • СЕМАНТИЧЕСКИЕ СЕТИ — (англ. semantic nets) представляют собой модели хранения понятий (слов, высказываний) в семантической памяти. Их организация и структурирование основаны на содержательном описании понятий и слов, обозначающих эти понятия и составляющих содержание …   Большая психологическая энциклопедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • интерпретация — (от лат. interpretatio разъяснение, истолкование) в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; в результате формальная система превращается в язык, описывающий ту или иную предметную… …   Словарь терминов логики

  • Модус — (от лат. modus мера, способ, образ, вид)         термин, используемый в логике, юриспруденции (см., например, Модус вивенди) и философии. В традиционной (силлогистической) логике М. называют разновидности силлогизмов (умозаключений), определяемые …   Большая советская энциклопедия

  • МОДУС ПОНЕНС — (modus ponens), правило отделения, вывода правило в формальных логич. системах. Правило М. п. записывается в виде схемы где Аи В обозначения для формул формальной логич. системы, а логич. связка импликации. М. п. разрешает выводить Виз посылок… …   Математическая энциклопедия

  • вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… …   Словарь терминов логики

  • логика высказываний —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • пропозициональная логика —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • Роды — I Роды Роды (partus) физиологический процесс изгнания из матки плода, околоплодных вод и последа (плаценты, плодных оболочек, пуповины) после достижения плодом жизнеспособности. Жизнеспособным Плод, как правило, становится по истечении 28 нед.… …   Медицинская энциклопедия

Книги

Другие книги по запросу «правило отделения» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.