17-10-2023
Редукция (лат. reductio — сведение, возведение, приведение обратно) — логический приём преобразования каких-либо данных к более удобному с какой-либо точки зрения виду; сведение сложного к более простому, доступному для анализа или решения.
Общее прототипическое значение — сокращение, уменьшение.
| коньюнкции |
отрицания коньюнкции |
дизъюнкции |
| отрицания дизъюнкции |
импликации |
отрицания импликации |
| отрицания отрицания |
квантора общности |
отрицания квантора общности |
| квантора существования |
отрицания квантора существования |
, где t — произвольный терм |
| Это заготовка статьи по философии. Вы можете помочь проекту, исправив и дополнив её. |
| Это заготовка статьи по логике. Вы можете помочь проекту, исправив и дополнив её. |
Редукция (логика).
