Секвенция (теория доказательств)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Секвенция (теория доказательств) — одно из основных понятий теории доказательств. Обычно обозначается буквой .

Формулировка[править | править вики-текст]

Секвенцией в теории доказательств называется выражение вида где и — произвольные конечные последовательности формул.

Пояснения[править | править вики-текст]

Секвенция обозначает следующее: если то . Секвенция означает, что приводит к противоречию. Секвенция означает, что выражение истинно. Пустая секвенция означает, что в рассматриваемой системе предикатов имеется противоречие.

Литература[править | править вики-текст]

  • Такеути Г. Теория доказательств. — М.: Мир, 1978. — 412 с.