ニコニコ大百科

単に「AはB(に内包される)」を理解しつつ「A=B」と表記なり発言なりしてる分には可愛いもんだけど
マジで内包するされるの関係について理解してないが故に=を使っているケースが少なくなくて困る

指摘されてるようだけど
記号の意味が不変ってのは
とても歴史を知ってる人の記述とは思えない
数学史ってのが文系なのか理系なのか知らんけど
現代数学の視点から公理や定理を遡るまでなら
記号や数式の変化とかどうでもいいんだろうね

いやー、普段から思っていることをここまで書いてくれると気分が良い。
ニコニコ動画⊆動画共有サイトを、便宜上（親しみ易さ、分かり易さ等を考慮し）ニコニコ動画＝動画共有サイトと書くような、人もいる／場合もあるから、下手に突っ込めないけどね。
ま、記事の最後にもある通り、ニコニコ動画＝動画共有サイトという書き方を根拠にして、ニコニコ動画⊇動画共有サイトだとか、他にも￢ニコニコ動画＝￢動画共有サイト（￢はnot）だとか言い出したら、突っ込む必要があるけどね。

ていうか正直、日常会話でそういう話はまず出ないんじゃね？
それなりの専門的な知識を持っている人が、同じく専門知識を持った人と語り合うときは、『お遊び』としてそういう事について議論することもあるだろうけど、日常でんなこといい始める奴ぁ（コイツ、頭おかしいんじゃね？）と思われて終了でしょw
日常会話での言葉使いにおける問題点ではあるだろうけど、会話として通じるなら最早誰も気にしないだろうしねw

ちょっと気合の入った議論のときは、まぁ突っ込まれて然るべきだろうけど、そうでもない限りは止めといた方がいい話だと思うね。

そういう意味では、相手が多少数学知識を用いて語り始めたら、付き合うか遠慮するかは考えといたほうがいいんだろうな。（ていうかこれは、ありとあらゆる専門分野での話すべてかw）

彼女いない歴＝年齢

記事の「数学記号を使わなければいい」、ホントそうなんだよね。でも、やっぱり面倒だから使いたくなるときってあるよね。
1.りんご＝果物：果物がりんごとはかぎらねーよ！
2.りんご→果物：りんごや果物は命題じゃねーよ！
3.りんご⊂果物：もっとわかりやすい記号使えよ！
どの突っ込みも見たこと／されたことあり。ラクだから記号使いたいけど、使うと突っ込まれそうで、かといって予防線はってまで使うのもアホらしい、ジレンマ。

りんごは果物
で解決してるだろ

こんな真面目な記事は珍しい…と思ったら探したらゴロゴロあんのな

>>37
俺の例が悪かったわ。あと内容が足りてなかった。
俺が面倒だと思うのは、「AはB」と説明しただけでは「AはBに含まれる」のか「AはBと等しい」のか曖昧にしか伝わらない場合の話ね。
ちなみに1.は、A⊂BをA=Bと説明しても（曖昧に伝わっても）特に支障ないなと判断して説明したときに、本当はイコールではないことを知っている人がいて突っ込まれたって場合の話ね。

まあ正直、1～3いずれの突っ込みも実際に受ける可能性は稀なんだから、気にしない（突っ込まれたらそのとき言う）というスタンスでも全く構わんとは思うのだけどね。

逆は必ずしも真ならずってやつですな

小学校算数の
「14÷4=3あまり2」←この「=」は同値関係じゃないけどな
同じ記号でも文脈によって意味が違う。

>>32
現代数学の最近開拓された分野にいけばいくほど
記号が統一されてなくて論文、専門書によってばらばらだったりするんだぞ

そりゃそうだろう
それも将来には、曲がりなりにも統一されていき、
過去の無数の体系は忘れ去られるんだろう

私…a
>>44…b
xは人である…Fx
yは動物である…Gy

「私は>>44である」
　a=b
「私は人である」
　Fa
「人は動物である」
　∀x(Fx→Gx)

というように、その単語を要素として扱うか集合として扱うかによって多分３パターンに分けられるんね

おおおおなんという秀逸で真面目な記事ｗｗ 久々にほめるボタンを押してしまった。
俺が違和感を持っている用法を見事なまでに誤用と言い切ってくれてて実に痛快だわ。

あと日常的でないとか専門的過ぎるとか言ってこの手の議論から逃げようとする人もいるけど、
これぐらいはみんなが知っておくべきことだよなぁ。

知ってれば誤用や誤解も減るだろうし、相手の意図をくみとりやすくもなる気がする。

軽い気持ちで使ってこんな突っ込みされたらドン引きするわ
大抵の人は=を助詞の「は」くらいの意味で使ってるだろ

学会でどうでも良い使い方すればドン引きされるだろうし、
飲み屋の雑談でこんな突っ込みすればこれまたドン引きされるだろう。
ケースバイケースだな。

「反射律」「対称律」「推移律」の言葉もあると良いと思う

や・・・
ややこしいわ！

「＝」を「は」と読むように定めた奴が諸悪の根源
それに輪をかけて小学校の割り算が誤用に拍車をかけている

「＝」を「と同値なのは」と呼ぶようにするだけでも随分誤用が減るはず

「「A=B」ならば「AはB」」は常に真だけど
「「AはB」ならば「A=B」」は真とも限らないのがミソ

かならずしも数学的に厳密である必要はないけど、さすがにイコールの使い方がおかしいのは気になるね。
猫は動物である、の意味で「猫＝動物」とかってのは理系文系関係なくツッコミたくなる。
そればかりか、Ａと言えばＢの意味でイコールを使って
「またたび＝猫」なんて言う奴もいて、もうわけわからん。

論理学でもこれ使うんだよね。
例えばPxを「xは人である」の記号化だとして、

ちょうど1人の人がいる:∃x(Px∧∀y(Py→x=y))
少なくとも2人いる:∃x∃y(Px∧Py∧x≠y))
多くとも1人いる:¬∃x∃y(Px∧Py∧x≠y))あるいは∀x∀y(Px∧Py)→x=y)

なんか混乱するわぁ

たまに数学以外の場面で言明同士をイコールで結んじゃって

AならばBである
A=B
両辺にマイナス(～でない)を掛けると
−A=−B
したがってAでないならばBでない

みたいなことをやらかす人がいる。

>>53
「xは人である」って集合で書けばいいんじゃないの？
人間全体の集合をPとして∃x∈P s.t. (...)で大分分かりやすい
論理学だとPxみたいな記号を使うのかも知れんが

>>55
亀レスだけど
論理式を集合論を使って表現することはできるみたい
でも論理学において集合という前提されていない存在を認めることはどうも不具合があるらしい
それで論理学に集合論を加えると数学全体が表現できるけど、数学を論理に還元することはできないとか

英語だとbe動詞のことだね
be動詞='='

>>54
逆や裏は真偽が一致するとは限らないことは気をつけるべきだね（対偶なら一致するけど）
もっとも、日常会話において「AならばBである」が真なのかどうかさえ怪しい場合が・・・

～と言えば〇　～＝○　っていう
使い方はほんとに見ててあほかなと思う

何かにつけても、反論として「言葉の用法は変化する」って言うけど
その時その時で正しいとされている用法は絶対にあるわけで
現時点で間違ってるってことを見逃していいって意味じゃないからなぁ
自分も確実にそういう言葉、用法を使ってるんだろうけど
間違いは間違いとその都度認めてほしいわ
ヘタすると正しかったものを使っててそれが間違ったと思われたりして嫌だわ

海外でも同じような使い方されてるのみたし世界共通なのかもね