- 795 名前：１３２人目の素数さん mailto:sage [2005/12/21(水) 23:25:51 ]
- 古典論理の範囲で考えても、
├A が証明できるなら ├∀xAも証明できる
が
├A→∀xA は必ずしも証明可能でない。
ところで
>>792
＞たとえば p. 20 の「公式2.3」では
＞¬A→(A→B)の証明として、¬AからA→Bを導く推論図（これはこの本の定義によれば、
＞「¬Aが証明できればA→Bも証明できる」ことを示す図）が書かれています。
のところは演繹定理使ってるだけじゃんか。ちゃんと嫁！！！
