16/06/18 16:32:18.24 haMy4df6.net
>>797
>>>791
>>「∃n∈N,∃m∈N s.t. m≦n」は「或る n∈N に対して、或る m∈N が存在して m≦n」と読める。
>そうは読まない
>「≦という関係を満たすふたつの自然数がある」
ゼミで「或る n∈N に対して、或る m∈N が存在して m≦n」といってみな。
別に何も大きな問題は生じないから。
お前さん、「任意の n∈N に対して、…が成り立たない」という文の曖昧さが分からないみたいだな。
「任意の n∈N に対して、…は成り立たない」という文は日常言語で書かれており、
「如何なる n∈N に対しても、…が成り立たない」とも「任意の n∈N に対しては、…が成り立たない」とも
解釈出来るような曖昧さがある否定の形の文章なのだ。しかし、「如何なる n∈N に対しても、…が成り立たない」
というように書けば、そのような曖昧さは生じない。スレ主並のオツムなのか?