502 名前:132人目の素数さん[] 投稿日:2017/08/15(火) 19:14:09.11 ID:MgvDl1uC [14/22]
【悲報】スレ主がεN論法を全く理解していないことが判明

http://rio2016.2ch.net/test/read.cgi/math/1502430243/473
>∀n∈N,∃m∈N,n≦m
>∃m∈N,∀n∈N,n≦m

http://rio2016.2ch.net/test/read.cgi/math/1502430243/497
>命題1は、不成立。理由は、Nに上限はないから
>命題2は、成立。理由は、第一条件であるm∈Nを取って、その範囲で、”第二条件(小前提)∀n∈N, 結論 n≦m”が成り立つようにできる

http://rio2016.2ch.net/test/read.cgi/math/1502430243/569
逆ですよー :−)
命題1 は成立するのです。どんな n についても、それぞれの n がそれ以上の自然数を持っていますから。
命題2 は成立しません。すべての自然数nに対して絶対的に n <= m となる特定の自然数mは存在しません。