2011-08-05から1日間の記事一覧
∀n ( ∃m ( n と ∃m ( ∀n ( n ≦ m ) ) の違いが分かりません。 はじめのは、全ての n について、n より大きな m が存在する。 次のは、最大値 m が存在する。 と書いてあるのですが、ほとんど同じに見えます。
∀n ( ∃m ( n と ∃m ( ∀n ( n ≦ m ) ) の違いが分かりません。 はじめのは、全ての n について、n より大きな m が存在する。 次のは、最大値 m が存在する。 と書いてあるのですが、ほとんど同じに見えます。
