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

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

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

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

 

Пояснения

Формула   называется высекаемой формулой этого правила.

Литература

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