О некоторых свойствах секвенциальных исчислений генценовског

[alex_dorin]

Здравствуйте !
Речь идет о секвенциальных исчислениях генценовского типа.
Можно ли заменить доказательство секвенции
$ {A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{1}, {B}_{2}, {B}_{3} $
доказательством одной из секвенций
$ {A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{1} $
$ {A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{2} $
$ {A}_{1}, {A}_{2}, {A}_{3}, {A}_{4} \Rightarrow {B}_{3} $

С уважением
А. Дорин
г. Полтава