Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

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

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

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

8 отношения: Квантор существования, Квантор всеобщности, Конъюнкция, Прототип (когнитивная психология), Анализ (философия), Терм (логика), Импликация, Дизъюнкция.

Квантор существования

Квантор существования (экзистенциальный квантификатор) в предикатной логике — предикат свойства или отношения для по крайней мере одного элемента из области определения.

Новый!!: Редукция (логика) и Квантор существования · Узнать больше »

Квантор всеобщности

Квантор всеобщности (обозначения: \forall, ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от ''квантора существования'', где условие верно только для каких-то отдельных элементов из указанного множества.

Новый!!: Редукция (логика) и Квантор всеобщности · Узнать больше »

Конъюнкция

Конъю́нкция (от conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и».

Новый!!: Редукция (логика) и Конъюнкция · Узнать больше »

Прототип (когнитивная психология)

Прототип (от πρῶτος — первый + τύπος — отпечаток, оттиск; первообраз) в когнитивной психологии — абстрактный образ, воплощающий множество сходных форм одного и того же объекта или паттерна, наиболее репрезентативный пример понятия, фиксирующий его типичные свойства.

Новый!!: Редукция (логика) и Прототип (когнитивная психология) · Узнать больше »

Анализ (философия)

Ана́лиз (ἀνάλυσις «разложение, расчленение») — в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать познание его ясным в полном его объёме.

Новый!!: Редукция (логика) и Анализ (философия) · Узнать больше »

Терм (логика)

Терм — выражение формального языка (системы) специального вида.

Новый!!: Редукция (логика) и Терм (логика) · Узнать больше »

Импликация

Импликация (от implicatio — «связь») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».

Новый!!: Редукция (логика) и Импликация · Узнать больше »

Дизъюнкция

Дизъю́нкция (от disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».

Новый!!: Редукция (логика) и Дизъюнкция · Узнать больше »

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »