- правило отделения
- мат. detachment rule, rule of detachment, rule of separation
Большой англо-русский и русско-английский словарь. 2001.
правило отделения
Смотреть что такое "правило отделения" в других словарях:
правило отделения — см.: Модус поненс … Словарь терминов логики
правило вывода — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом высказывания, истинность которых известна, могут быть видоизменены, чтобы получить новые истинные высказывания. Напр., правило отделения устанавливает, что если … Словарь терминов логики
СЕМАНТИЧЕСКИЕ СЕТИ — (англ. semantic nets) представляют собой модели хранения понятий (слов, высказываний) в семантической памяти. Их организация и структурирование основаны на содержательном описании понятий и слов, обозначающих эти понятия и составляющих содержание … Большая психологическая энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
интерпретация — (от лат. interpretatio разъяснение, истолкование) в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; в результате формальная система превращается в язык, описывающий ту или иную предметную… … Словарь терминов логики
Модус — (от лат. modus мера, способ, образ, вид) термин, используемый в логике, юриспруденции (см., например, Модус вивенди) и философии. В традиционной (силлогистической) логике М. называют разновидности силлогизмов (умозаключений), определяемые … Большая советская энциклопедия
МОДУС ПОНЕНС — (modus ponens), правило отделения, вывода правило в формальных логич. системах. Правило М. п. записывается в виде схемы где Аи В обозначения для формул формальной логич. системы, а логич. связка импликации. М. п. разрешает выводить Виз посылок… … Математическая энциклопедия
вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… … Словарь терминов логики
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
Роды — I Роды Роды (partus) физиологический процесс изгнания из матки плода, околоплодных вод и последа (плаценты, плодных оболочек, пуповины) после достижения плодом жизнеспособности. Жизнеспособным Плод, как правило, становится по истечении 28 нед.… … Медицинская энциклопедия
