Секвенции

Секвенции (латинское sequentia — последовательность, следствие) — это выражения вида A₁, A₂,..., A_m |- B₁, B₂,..., B_n, где |- — знак выводимости, A₁, A₂,..., A_m и B₂,..., B_n — произвольные формулы; первые — образующие антецедент секвенции, вторые — её сукцедент. Такого рода выражения изучаются в теории доказательств. Они оказываются более удобными для анализа синтаксической структуры выводов. Их называют исчислениями генценовского типа (по имени Генцена, который начал их изучать).

Основные правила

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Дополнительные правила

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Доказательства секвенций

Доказательства некоторых дополнительных правил:

Правило_в

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_д

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_е

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_ж

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_з

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_и

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_к

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_л

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_м

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_н

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_о

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Правило_п

Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения

Другие понятия:

• логический закон;
• логическая функция:

1. совершенная дизъюнктивная нормальная форма;
2. совершенная конъюнктивная нормальная форма;
3. минимальная дизъюнктивная нормальная форма;
4. минимальная конъюнктивная нормальная форма;
5. алгебраическая нормальная форма;

• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

• Генцен Г. Исследования логических выводов. В кн. Математическая теория логического вывода, М, 1967, с. 9—74.
• Участник:Logic-samara