2014-01-26から1日間の記事一覧
「\(F(x)\)を満たす\(x\)は一意に存在する」ことを\(\exists!x[F(x)]\)といった論理式で表すが、その定義にはいくつもの流儀があり、互いに同値であることを納得しておきたい。そもそも「一意」という語は「1個以下」という意味なのか「ちょうど1個」という…
「\(F(x)\)を満たす\(x\)は一意に存在する」ことを\(\exists!x[F(x)]\)といった論理式で表すが、その定義にはいくつもの流儀があり、互いに同値であることを納得しておきたい。そもそも「一意」という語は「1個以下」という意味なのか「ちょうど1個」という…