16/06/18 16:16:12.79 EKM2WH1a.net
>>793
＞>>791
＞「∃n∈N,∃m∈N s.t. m≦n」は「或る n∈N に対して、或る m∈N が存在して m≦n」と読める。
そうは読まない
「≦という関係を満たすふたつの自然数がある」
＞否定は「∀n∈N,∀m∈N m＞n」となって、これは「両方共に任意の n,m∈N に対して m＞n」と読める。
「どんなふたつの自然数に対しても＜という関係が成り立つ」
＞これは当たり前だな。しかし、「∀n∈N,∀m∈N m＞n」は同時に「両方共に如何なる n,m∈N に対しても m＞n」とも読める。
＞いっていること分かるよな？ 多分、不等号で考えると、いっている意味は分からないと思うぞ。
不等号が問題なんじゃなくて∀(∃)の使い方が問題なんだよ
それをつけたらその文字はないんだよ