Редукция (логика)
Редукция (лат. reductio — сведение, возведение, приведение обратно) — логический приём преобразования каких-либо данных к более удобному с какой-либо точки зрения виду; сведение сложного к более простому, доступному для анализа или решения.
Общее прототипическое значение — сокращение, уменьшение.
Правила редукции
конъюнкции |
отрицания конъюнкции |
дизъюнкции |
отрицания дизъюнкции |
импликации |
отрицания импликации |
отрицания отрицания |
квантора общности |
отрицания квантора общности |
квантора существования |
отрицания квантора существования |
, где t — произвольный терм |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.