- Редукция (логика)
-
Редукция (лат. reductio — сведение, возведение, приведение обратно) — логический приём преобразования каких-либо данных к более удобному с какой-либо точки зрения виду; сведение сложного к более простому, доступному для анализа или решения.
Общее прототипическое значение — сокращение, уменьшение.
Правила редукции
коньюнкции
отрицания коньюнкции
дизъюнкции
отрицания дизъюнкции
импликации
отрицания импликации
отрицания отрицания
квантора общности
отрицания квантора общности
квантора существования
отрицания квантора существования
, где t — произвольный терм В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.
Эта отметка установлена 14 мая 2011.Категории:- Логика
- Математическая логика
Wikimedia Foundation. 2010.