Секвенции

Версия 05:33, 23 февраля 2018

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

Содержание

1 Основные правила
2 Дополнительные правила
3 Доказательства секвенций
4 Другие понятия:
5 Логический закон
6 Логические функции:
7 Нормальные формы:
8 Таблица истинности
9 Карта Карно
10 Трёхмерная карта Карно
11 Предикат
12 Секвенции
13 Суждение
14 Умозаключения:
15 Диаграммы:
- 15.1 диаграмма Венна
- 15.2 диаграмма Эйлера
16 Ссылки

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

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

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

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

Правило_в

Правило_д

Правило_е

Правило_ж

Правило_з

Правило_и

Правило_к

Правило_л

Правило_м

Правило_н

Правило_о

Диаграммы:

диаграмма Венна

диаграмма Эйлера

Ссылки

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

@@ Строка 32: / Строка 32: @@
 === '''Правило_п''' ===
 [[файл:СЕК30п.JPG]]
-== Другие понятия: ==
+== [[Логические понятия|Другие понятия:]] ==
 {{Список ЛП}}
 == Ссылки ==

Секвенции — различия между версиями