問題 定理3.5.4が算術演算の評価関係に関しても成り立つことを示せ。 すなわち、 かつ ならば であることを示せ。 証明 の導出に関する帰納法を使用し、 の導出で最後に使った規則に対する場合分けにより証明する。 E-SUCCの場合 は という形であり、またあ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。