- 613 名前：１３２人目の素数さん mailto:sage [2005/09/09(金) 09:53:40 ]
- >>611
＞誰か、A7についてのコメントを・・
についてだけど、
＞＞（宿題）
＞∀ｘ∀ｙ（ｘ＝ｙ→ｙ＝ｘ）
＞と
＞∀ｘ∀ｙ∀ｚ（（ｘ＝ｙ∧ｙ＝ｚ）→ｘ＝ｚ）
＞とが、導出できるんだろう、ことは、状況からして、なんとなくわかりますが、とりあえず、今の俺には、ﾑﾘﾎﾟです。
なんて言い方してるってことは、入門書さえ読んだことないってことでしょ？
そういう努力しない人にはあまり教える気になる人は出てこない気がするなあ。
