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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

Правила редукции[править | править вики-текст]

конъюнкции
отрицания конъюнкции
дизъюнкции
отрицания дизъюнкции
импликации
отрицания импликации
отрицания отрицания
квантора общности
отрицания квантора общности
квантора существования
отрицания квантора существования
, где t — произвольный терм