WikiSort.ru - Не сортированное

Сечение (теория доказательств) — правило сечений в теории доказательств.

Формулировка

Правилом сечений в теории доказательств называется правило непосредственного вывода:

${\displaystyle {\frac {(\Gamma \rightarrow \Delta ,\mathrm {E} )\wedge (\mathrm {E} ,\Pi \rightarrow \Lambda )}{\Gamma ,\Pi \rightarrow \Delta ,\Lambda }}}$

Пояснения

Формула ${\displaystyle \mathrm {E} }$ называется высекаемой формулой этого правила.

Литература

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