17/08/27 19:46:38.73 lx9a8Vxh.net
502 名前：１３２人目の素数さん[] 投稿日：2017/08/15(火) 19:14:09.11 ID:MgvDl1uC [14/22]
【悲報】スレ主がεN論法を全く理解していないことが判明
ｽﾚﾘﾝｸ(math板:473番)
＞∀n∈N,∃m∈N,n≦m
＞∃m∈N,∀n∈N,n≦m
ｽﾚﾘﾝｸ(math板:497番)
＞命題１は、不成立。理由は、Nに上限はないから
＞命題２は、成立。理由は、第一条件であるｍ∈Nを取って、その範囲で、”第二条件（小前提）∀n∈N, 結論 n≦m”が成り立つようにできる
ｽﾚﾘﾝｸ(math板:569番)
逆ですよー ：－）
命題1 は成立するのです。どんな n についても、それぞれの n がそれ以上の自然数を持っていますから。
命題2 は成立しません。すべての自然数nに対して絶対的に n <= m となる特定の自然数mは存在しません。