ニコニコ大百科

>>59
口語って過剰にしたり本来の意味から外したりすることでニュアンスを伝えるっていう部分もあるからなぁ
そもそも=の数学的定義なんて習わずに小学校一年生から=は使ってるから
=の数学的正しい定義を知らずに=を使うなっていうのは暴論気味というか衒学的だと思う

>>55
勘違いしたレスをしてたいうだから改めて説明すると、Px自体は変数xの変域となる集合への条件としての述語であって、集合それ自体ではないらしい
だから人間全体の集合をPとして…とすることはできない(Pは集合ではなく述語記号)
ちなみに条件付けられたあとの部分集合を慣習的に表すと{x│Px)となるとか…つまりPxという記号自体は論理でも集合でも共通して用いられるものであって、論理学だけで用いられるものではない

=が使われていて困るのは、自分が詳しくない分野の文章で(当然数式以外の用法で)出てきたとき
「A=B」という文章があるとき、俺が思うのは
「この文章の意味は『AとBは等しい』なのか『AはBである』なのか」

>>59
それは等しくないものを等しいと言うネタだから間違っていて当然

数式でない普通の文章で「AとBは等しい」を表したいときは「A⇔B」って表現するようにしてる

>>65
「A⇔B」は「A=B」と意味が同じ
⇔も=も、形が違うだけで使い方は同じ
例えば「1+1=2」は「1+1⇔2」と意味が同じ
https://ja.wikipedia.org/wiki/%E5%90%88%E5%90%8C%E8%A8%98%E5%8F%B7#.E5.90.8C.E5.80.A4

数式でない普通の文章なら、そもそも数式記号を使わない方がいい
どうしても使うように強制されたとか、どうしても使いたいとかなら、ニアリーイコール"nearly equal"「≒」を使うのがいいかと
≒も数式記号だから、本当は使わない方がいいけど

1+1，2自体は数であって命題ではないので1+1⇔2なんて使い方はしない
「A⇔BはA=Bと意味が同じ」も反証可能
1+1=2⇔1+1-2=0だが1+1=2=1+1-2=0は明らかに偽

「ニコニコ動画⊂動画共有サイトであるが、動画共有サイト⊂ニコニコ動画ではない」と
「ニコニコ動画は動画共有サイトのひとつであるが、動画共有サイトがすべてニコニコ動画というわけではない」の間で分かりやすさに大した差があるとは思えないんだけど
それに"であるが、動画共有サイト⊂ニコニコ動画ではない"の部分必要なくないか？

>>63
「AはBである」も「AとBは同じだ」と言いたいのか「AはBに属する」「AはBの性質を持つ」と言いたいのか判別つかない、判別つかなくない？
むしろ「A＝B」なら文脈無しでも「つまり『AとBは同じだ』という意味だな」と推測できる

>>67
1+1=2⇔1+1-2=0に2⇔1+1-2が含まれないのに1+1=2=1+1-2=0には2=1+1-2が含まれる判定なのって反証として適切なんですかね…