- 255 名前：253 [05/03/16 16:31:22 ]
- >>254
どうも舌足らずですみません。自由変数と束縛変数を区別しないだけなら
もちろん何の問題もないのですが、Cut除去定理の証明をどのように工夫する
のかなあ、と思いまして。
もしかして、その区別をしない場合は
「終式（証明図の最後のSequent）を変えず」にCut除去するの
ではなくて、「束縛変数の違いを無視して、終式を変えずに」Cut除去
するのかなあ、と思ったわけです。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef