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

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

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

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

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

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

Секвенция A_{1}, ..., A_{m} \rightarrow B_{1}, ..., B_{n} обозначает следующее: если A_{1} \wedge ... \wedge A_{m} то B_{1} \vee ... \vee B_{n}. Секвенция A_{1}, ..., A_{m} \rightarrow означает, что A_{1} \wedge ... \wedge A_{m} приводит к противоречию. Секвенция \rightarrow B_{1}, ..., B_{n} означает, что выражение B_{1} \vee ... \vee B_{n} истинно. Пустая секвенция \rightarrow означает, что в рассматриваемой системе предикатов имеется пртиворечие.

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

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