①拾い画なので何の本なのかは分かりませんが、写真のこの書き方は間違いですよね？そもそも∃N∈｛自然数全体の集合｝,∀n∈

Question

①拾い画なので何の本なのかは分かりませんが、写真のこの書き方は間違いですよね？そもそも∃N∈｛自然数全体の集合｝,∀n∈｛自然数全体の集合｝, n>Nという命題は常に偽ですよね？

記号で正しく書くなら

∃N∈｛自然数全体の集合｝,∀n∈ ｛自然数全体の集合｝ , n>N⇒P(n)

みたいに書けると思います。

②(おまけ)∀n∈Nのような書き方で「任意のNより大きい自然数について」と書く書き方があったら教えてください

急いでいます。回答お願いします。

@hinanase · Accepted Answer

「自然数 $N$ であって，任意の自然数 $n$ に対し $n > N$ かつ $P(n)$ となるようなものが存在する」という意味になり，明らかに偽ですね．

「任意の $N$ より大きい自然数について」を意味する一般に通用する書き方はおそらくありません．一例としては

$\forall n \in \mathbb{N}_{>N}$

などと書くこともできるでしょうが，伝わらない可能性もあります．