- 793 名前：１３２人目の素数さん mailto:sage [2005/12/21(水) 20:11:47 ]
- その本を読んでないんだけど、>>788の
> (*) Aが証明できればBも証明できる
> ということを（推論の図式的表現を借りて）
> A
> --
> B
> と表す、という内容の記述があるんですが、
という書き方を見るとたぶん
(*) はインフォーマルな表現で、これを形式的に書くと A├B になる、
ということのような気がする。
そうじゃないとすれば (*) は
(*1) ├A ならば ├B
と解釈するのが素直かなと思ったけど、これは A├B と同値ではない。
