- 482 名前：468 mailto:sage [2007/08/28(火) 17:29:47 ]
- 演繹定理ですか･･･なかなか難しいですね。
いまのところ(a)について
公理２によって(A→(B→C))から((A→B)→(A→C))
公理１によってBと((A→B)→(A→C))から(A→C)
は示せましたが･･･
で、(b）のほうは、
公理２によって(A→(A→B))から((A→A)→(A→B))
で、(A→A)が導ければ(A→B)は導けるのだが･･･
ということで、追加問題
(c) (A→A)
