Редукция (логика)

Толкование

Редукция (логика): У этого термина существуют и другие значения, см. Редукция.

Редукция (лат. reductio — сведение, возведение, приведение обратно) — логический приём преобразования каких-либо данных к более удобному с какой-либо точки зрения виду; сведение сложного к более простому, доступному для анализа или решения.

Общее прототипическое значение — сокращение, уменьшение.

Правила редукции

коньюнкции
$[ \land ] \frac{\Gamma , A \land B , \Delta}{\Gamma, A, B, \Delta}$ отрицания коньюнкции
$[ \neg \land ] \frac{\Gamma , \neg ( A \land B ) , \Delta}{\Gamma, \neg A, \Delta \mid \Gamma, \neg B, \Delta}$ дизъюнкции
$[ \lor ] \frac{\Gamma , A \lor B, \Delta}{\Gamma, A, \Delta \mid \Gamma, B, \Delta}$

отрицания дизъюнкции
$[ \neg \lor ] \frac{\Gamma , \neg ( A \lor B ) , \Delta}{\Gamma, \neg A, \neg B, \Delta}$ импликации
$[ \supset ] \frac{\Gamma , A \supset B, \Delta}{\Gamma, \neg A, \Delta \mid \Gamma, B, \Delta}$ отрицания импликации
$[ \neg \supset ] \frac{\Gamma , \neg ( A \supset B ) , \Delta}{\Gamma, A, \neg B, \Delta}$

отрицания отрицания
$[ \neg \neg] \frac{\Gamma , \neg \neg A , \Delta}{\Gamma, A, \Delta}$ квантора общности
$[ \forall ] \frac{\Gamma , \forall x A (x) , \Delta}{\Gamma, \forall x A(x), A(t), \Delta}$ отрицания квантора общности
$[ \neg \forall ] \frac{\Gamma , \neg \forall x A (x) , \Delta}{\Gamma, \neg A(k), \Delta}$

квантора существования
$[ \exists ] \frac{\Gamma , \exists x A (x) , \Delta}{\Gamma, A(k), \Delta}$ отрицания квантора существования
$[\neg \exists ] \frac{\Gamma , \neg \exists x A (x) , \Delta}{\Gamma, \neg \exists x A (x), \neg A(t), \Delta}$ , где t — произвольный терм

В этой статье не хватает ссылок на источники информации.
Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.
Эта отметка установлена 14 мая 2011.

Категории:
Логика
Математическая логика

Игры ⚽ Нужен реферат?

Полезное

Смотреть что такое "Редукция (логика)" в других словарях:

Логика науки — в специальном смысле дисциплина, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика научного развития),… … Большая советская энциклопедия
логика (средневековья) — Ars vetus , Ars nova , Logica modernorum Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней … Западная философия от истоков до наших дней
СОДЕРЖАТЕЛЬНО-ГЕНЕТИЧЕСКАЯ ЛОГИКА — логико эпистемологическая концепция, которая разрабатывалась в 1950 1960 в Московском логическом (в дальнейшем методологическом) кружке. Программа построения С. Г.Л. возникла на фоне дискуссии в советской философии о соотношении формальной и… … Новейший философский словарь
современная логика — одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая… … Словарь терминов логики
ФЕНОМЕНОЛОГИЧЕСКАЯ РЕДУКЦИЯ — процедура феноменологической философии Гуссерля, напоминающая ‘радикальное сомнение’ Декарта. Декарт кладет в основу своей философии принцип ego cogito, ergo sum. Это возвращение к ego cogito означает, по мнению Гуссерля, переворот во всей… … История Философии: Энциклопедия
ФЕНОМЕНОЛОГИЧЕСКАЯ РЕДУКЦИЯ — процедура феноменологической философии Гуссерля, напоминающая радикальное сомнение Декарта. Декарт кладет в основу своей философии принцип ego cogito, ergo sum. Это возвращение к ego cogito означает, по мнению Гуссерля, переворот во всей… … История Философии: Энциклопедия
ГУССЕРЛЬ — [нем. Husserl] Эдмунд (8.04.1859, Просниц (совр. Простеёв, Чехия) 27.04.1938, Фрайбург им Брайсгау, Германия), нем. философ, основатель феноменологии как философского направления. Род. и вырос в индифферентной к религии евр. семье. Окончил… … Православная энциклопедия
Логические исследования (Гуссерль) — «Логические исследования» (нем. Logische Untersuchungen, 1900, 1901) философское сочинение Э. Гуссерля. Хотя в «Логических исследованиях» ещё не развёрнуты все характерные для феноменологии темы, это исходная для… … Википедия
Научная картина мира — (сокр. НКМ) одно из основополагающих понятий в естествознании особая форма систематизации знаний, качественное обобщение и мировоззренческий синтез различных научных теорий. Будучи целостной системой представлений об общих свойствах и… … Википедия
ГУССЕРЛЬ — (HusserI) Эдмунд (1856 1938) нем. философ, создатель феноменологич. направления. Изучал математику и астрономию в ун те Лейпцига в 1876 78, слушал Вучдта, основавшего в Лейпциге первый ин т эксперимент, психологии. В ун те Берлина в 1878… … Энциклопедия культурологии

Словари и энциклопедии на Академике

Редукция (логика)

Правила редукции

Полезное

Смотреть что такое "Редукция (логика)" в других словарях:

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

коньюнкции $[ \land ] \frac{\Gamma , A \land B , \Delta}{\Gamma, A, B, \Delta}$	отрицания коньюнкции $[ \neg \land ] \frac{\Gamma , \neg ( A \land B ) , \Delta}{\Gamma, \neg A, \Delta \mid \Gamma, \neg B, \Delta}$	дизъюнкции $[ \lor ] \frac{\Gamma , A \lor B, \Delta}{\Gamma, A, \Delta \mid \Gamma, B, \Delta}$
отрицания дизъюнкции $[ \neg \lor ] \frac{\Gamma , \neg ( A \lor B ) , \Delta}{\Gamma, \neg A, \neg B, \Delta}$	импликации $[ \supset ] \frac{\Gamma , A \supset B, \Delta}{\Gamma, \neg A, \Delta \mid \Gamma, B, \Delta}$	отрицания импликации $[ \neg \supset ] \frac{\Gamma , \neg ( A \supset B ) , \Delta}{\Gamma, A, \neg B, \Delta}$
отрицания отрицания $[ \neg \neg] \frac{\Gamma , \neg \neg A , \Delta}{\Gamma, A, \Delta}$	квантора общности $[ \forall ] \frac{\Gamma , \forall x A (x) , \Delta}{\Gamma, \forall x A(x), A(t), \Delta}$	отрицания квантора общности $[ \neg \forall ] \frac{\Gamma , \neg \forall x A (x) , \Delta}{\Gamma, \neg A(k), \Delta}$
квантора существования $[ \exists ] \frac{\Gamma , \exists x A (x) , \Delta}{\Gamma, A(k), \Delta}$	отрицания квантора существования $[\neg \exists ] \frac{\Gamma , \neg \exists x A (x) , \Delta}{\Gamma, \neg \exists x A (x), \neg A(t), \Delta}$	, где t — произвольный терм

Словари и энциклопедии на Академике

Википедия

Редукция (логика)

Правила редукции

Полезное

Смотреть что такое "Редукция (логика)" в других словарях:

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

Прямая ссылка: