Секвенции — различия между версиями
Материал из ALL
м |
|||
(не показано 7 промежуточных версий этого же участника) | |||
Строка 32: | Строка 32: | ||
=== '''Правило_п''' === | === '''Правило_п''' === | ||
[[файл:СЕК30п.JPG]] | [[файл:СЕК30п.JPG]] | ||
− | == Другие понятия: == | + | == [[Логические понятия|Другие понятия:]] == |
− | + | {{Список ЛПон}} | |
− | + | ||
− | + | ||
== Ссылки == | == Ссылки == | ||
− | * Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74. | + | *Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74. |
− | * [[Участник:Logic-samara]] | + | *[[Участник:Logic-samara]] |
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 11:13, 13 января 2024
Секвенции (латинское sequentia — последовательность, следствие) — это выражения вида A1, A2,..., Am |- B1, B2,..., Bn, где |- — знак выводимости, A1, A2,..., Am и B2,..., Bn — произвольные формулы; первые — образующие антецедент секвенции, вторые — её сукцедент. Такого рода выражения изучаются в теории доказательств. Они оказываются более удобными для анализа синтаксической структуры выводов. Их называют исчислениями генценовского типа (по имени Генцена, который начал их изучать).
Содержание
Основные правила
Дополнительные правила
Доказательства секвенций
Доказательства некоторых дополнительных правил:
Правило_в
Правило_д
Правило_е
Правило_ж
Правило_з
Правило_и
Правило_к
Правило_л
Правило_м
Правило_н
Правило_о
Правило_п
Другие понятия:
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;
- Таблица истинности;
- Карта Карно;
- Трёхмерная карта Карно;
- Предикат;
- Секвенции;
- Суждение;
- Умозаключения:
Ссылки
- Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74.
- Участник:Logic-samara