Секвенции — различия между версиями
(начало) |
|||
Строка 37: | Строка 37: | ||
*Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74. | *Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74. | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 04:29, 10 апреля 2023
Секвенции (латинское sequentia — последовательность, следствие) — это выражения вида A1, A2,..., Am |- B1, B2,..., Bn, где |- — знак выводимости, A1, A2,..., Am и B2,..., Bn — произвольные формулы; первые — образующие антецедент секвенции, вторые — её сукцедент. Такого рода выражения изучаются в теории доказательств. Они оказываются более удобными для анализа синтаксической структуры выводов. Их называют исчислениями генценовского типа (по имени Генцена, который начал их изучать).
Содержание
Основные правила
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Дополнительные правила
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Доказательства секвенций
Доказательства некоторых дополнительных правил:
Правило_в
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_д
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_е
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_ж
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_з
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_и
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_к
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_л
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_м
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_н
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_о
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Правило_п
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Другие понятия:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;
Ссылки
- Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74.
- Участник:Logic-samara