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

Сечение в теории доказательств — правило вывода, позволяющее удалить («высечь») промежуточное высказывание ${\displaystyle A}$:

${\displaystyle {\cfrac {\ \Gamma \ \rightarrow \ \Delta ,\ A\qquad A,\ \Theta \ \rightarrow \ \Lambda \ }{\Gamma ,\ \Theta \ \rightarrow \ \Delta ,\ \Lambda }}}$.

Поскольку правило сечения не обладает

• Г. Такеути. Теория доказательств. — М.: Мир, 1978. — 412 с.
• Подформульности свойство — статья из Математической энциклопедии. С. Ю. Маслов