>>128
>|- X ↔ Y
>のとき
>(|- X) ⇔ (|- Y)
>が言えるっていう無茶苦茶な話だろ
は？何が無茶苦茶なんだろ？
X⇒Yが証明されるとは
XからYが証明されるってこと
これとXが証明されることから
カットによってYが証明されるんだが？