論理学の『⊃』って集合論の『⊃』とは違うの? [転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2015/07/14(火) 21:47:27.56ID:DBIaoFS3
∀p ∈ X → ∀p ∈ Y ならば X ⊂ Yだとおもってたんだけど

0015132人目の素数さん2015/07/14(火) 22:28:33.36ID:sX2N0Vku
文系脳が必死w

0016132人目の素数さん2015/07/14(火) 22:35:31.50ID:nkl6oKnL
自分の無視されっぷりを見て醜態を確認するといい

0017132人目の素数さん2015/07/14(火) 22:36:05.84ID:tqm6q0Em
理系思考の残念な点

・なんでも数字に置き換えて簡略化するから、複雑な物事を考える力がない
・論理性に頼りすぎてきたからアバウトな考え方ができない
・できるだけ小さく狭いミクロでものを考えるので、マクロで考える事ができる文系ほど論理的思考が 得意でない
・裏切りの少ない数学や論理性を信仰してきたから思い込みが激しく騙されやすい
・上記の理由から頭が固い
・上記の理由や世間から外れたところにいる時間が長いせいで常識、常識的な事を知らない
・上記の理由やそれによるプライドが凄いせいで成長しない、成長が遅い
・文盲だったり視野が狭いせいで、自分の何を指摘されてるのか理解できない

0018132人目の素数さん2015/07/14(火) 22:36:30.21ID:tqm6q0Em
理系も内心では理解してるからな、実際に社会を動かすのは文系だと

立法や行政を担うのは殆どが文系だし
民間で技術職は現場のトップが精々だが文系のエリートなら経営に携われる
理系が何か開発してもそれを商業化して利益を得るのは文系

結局理系ってのは文系のエリート層の肥やしになるだけの存在
それがわかってはいるけど認めたくないから文系の下位層を見て文系全体を貶し自尊心を保つ

0019132人目の素数さん2015/07/14(火) 22:37:26.03ID:tqm6q0Em
今日も「解けない側」の圧勝かぁ・・・。
毎日毎日、ワケ分からん問題ばかりだから常勝なんだよね・・・。
たまには、解ける解けるって悩んで負けてみたい、それが今の切実な悩み。

0020132人目の素数さん2015/07/14(火) 22:38:11.56ID:DBIaoFS3
数学板にもこういう人がいると思うと残念でならない

なるほど…たしかにごっちゃになっていたかもしれません
記号が同じなんだからやってることも似ているに違いないというバイアスが
理解の邪魔をしていたのか…
ポリモーフィズムですね

0021132人目の素数さん2015/07/14(火) 22:38:39.20ID:5jMr6mUp
これが文系脳ですw

0022132人目の素数さん2015/07/14(火) 22:40:05.03ID:tqm6q0Em
受験数学は全然できなくて無問題
あんなのは所詮公式と解法パターンの丸暗記競争だから
ルービックキューブと一緒でやり方知ってりゃ10秒で解法が組み上がる
大学行ったら数学や物理は勿論、化学だって高校数学なんか全く役に立たないよ
そうはいっても国公立の理系は少なくともセンター数学を受けないと入れない
国立、特に下位駅弁からは同レベルの理系単科私大等と比べて突出した才能が出ない一因でもある
俺も文系からの理系学部進学組みだけど高校で理系だった奴は暗記重視で本質を理解している奴はいなかった印象がある
何でも覚えようとしちゃうのね。理解しようとしないで
今でも私大なら理系学部で入試に数学を課してない所があるはず(理由は前述のとおり)
但し記述式の国語があるから地頭勝負になるけどね
数学や理科といった暗記科目で挽回の効く東大理系前期なんかよりある意味難関

0023132人目の素数さん2015/07/14(火) 22:44:22.41ID:snV6yWc6
>>11
あ、単にそういう話?

∀x,(x∈A)⊃(x∈B) が
A⊂B であることに、
何かがひっくり返ったような違和感を感じている
のかと思ったよ。

A, B を自然言語にして
「正方形は長方形だ」のように書いたものを
記号に書き換えようとすると、この違和感が出てくる。

0024132人目の素数さん2015/07/16(木) 07:37:32.07ID:kqZFOIDF
>>6
意味が反対なのは、確かに気にかかるんだ。
自分は「⊂」は集合の意味でのみ使用するようにしてるけど。

0025132人目の素数さん2015/07/16(木) 09:59:25.26ID:l3RP0/kK
俺も、含意は ⇒ で書く。
⊃ で書かれた本を
探すのも難儀なくらいだし。
活字の使い回しで
U を寝かせてた時代の
名残でしかないからね。

0026132人目の素数さん2015/07/16(木) 13:21:34.70ID:qpnSxw+K
最近は含意⊃は使わないのか
論理構造を位相空間にするのも見ないな

0027132人目の素数さん2015/07/18(土) 22:03:57.60ID:BROmkZQR
>>1
「ろんりがくっ」と「しゅうごうろんっ」の「っ」は同一だが、
「ろんっりがく」と「しゅーっごーろん」の「っ」は
文法的にも意味的にも異なる。

0028132人目の素数さん2015/11/22(日) 16:23:42.75ID:7sQ9F2jh
論理の⊃は昔はcを逆さまにしたものを使っていた
complyだかのcだそうだ
更に古くはcをそのまま

0029132人目の素数さん2016/11/08(火) 18:22:27.33ID:gT4gswKO
超亀レスですが

>>28
> 論理の⊃は昔はcを逆さまにしたものを使っていた

その記号法は哲学系の論理学の本で見たことがあります

> complyだかのcだそうだ

そういう意味だったんですか!
なるほど、AがBを含意する、つまり A implies B A⊃B ということは
BはAより従うのだから B complies Aということで B c Aだから
Aを左にBを右に置くならば c は左右反転にすべし、ということですか。

これで長年の疑問が氷解しました。
本当に有難うございました m(__)m

0030◆2VB8wsVUoo 2016/11/08(火) 18:35:29.71ID:vJNWepwl


>326 名前:132人目の素数さん :2016/10/26(水) 14:13:06.88 ID:dz3LPMS/
> >>2-3
> 虐待的躾
>
> >>4
> その主張は個人の精神の内に限られた中での狭い正論
> 法的には不当な手続きによる風評悪化工作
>
> 縁組解脱するでもなければ復讐も果たせず、無駄以上のマイナスに終わる人生へ進む増田哲也
>
>327 名前:132人目の素数さん :2016/10/26(水) 14:15:31.32 ID:dz3LPMS/
> 「孫を奪う」
> 手段が
> 「自分の任意を駆使して」
> …
>
> 警察・検察・弁護士・裁判官「それを仄めかすと言う」
>
>328 名前:132人目の素数さん :2016/10/26(水) 14:29:49.76 ID:dz3LPMS/
> しかし最後に決めるのは法律ではなく過去判例や世情判例、法律は実は決め切らない
> 口八丁手八丁で判例が左右する
>
> 増田哲也の不毛な戦いは続く
>
>330 名前:132人目の素数さん :2016/10/26(水) 17:54:03.72 ID:dz3LPMS/
> 「ムラムラしたんだから仕方ないがな」みたいな発言
>
> 性感を、絶頂に至らせずに高め強める為に
> ある周波数かつ弱電流高電圧で絶頂越えを感電制止し
> 無限に高まり強まる性感を与えつつ
> 性感を全身に広げる為に口腔鼻腔〜肺の内気を
> 窒息感たっぷりに高圧に保ちつつも酸欠しない様に内気を常に酸素還元する
>
> 無限に高まり強まりつつ全身に至る性感の中で
> 余りにも強い性感に死に対する欲望が怒涛の勢いで湧き上がり
> 性感の大海の内に命が尽きる事を願うだろう
> 義父に対する復讐よりも死に焦がれる性欲に堕ちるのだ
> 「ムラムラ」「仕方ない」のだから
>

0031◆2VB8wsVUoo 2016/11/08(火) 19:24:31.18ID:vJNWepwl

0032◆2VB8wsVUoo 2016/11/08(火) 19:24:48.37ID:vJNWepwl

0033◆2VB8wsVUoo 2016/11/08(火) 19:25:05.64ID:vJNWepwl

0034◆2VB8wsVUoo 2016/11/08(火) 19:25:23.07ID:vJNWepwl

0035◆2VB8wsVUoo 2016/11/08(火) 19:25:39.85ID:vJNWepwl

0036◆2VB8wsVUoo 2016/11/08(火) 19:25:56.58ID:vJNWepwl

0037◆2VB8wsVUoo 2016/11/08(火) 19:26:13.18ID:vJNWepwl

0038◆2VB8wsVUoo 2016/11/08(火) 19:26:30.14ID:vJNWepwl

0039◆2VB8wsVUoo 2016/11/08(火) 19:26:47.18ID:vJNWepwl

0040◆2VB8wsVUoo 2016/11/08(火) 19:27:06.93ID:vJNWepwl

0041132人目の素数さん2016/11/10(木) 13:04:52.90ID:fMWEUz02
終わったスレでも荒らしが必死

0042◆2VB8wsVUoo 2016/11/10(木) 13:28:33.89ID:6c0BrRUL

0043◆2VB8wsVUoo 2016/11/10(木) 19:47:10.25ID:6c0BrRUL

0044◆2VB8wsVUoo 2016/11/10(木) 20:01:13.68ID:6c0BrRUL

0045132人目の素数さん2016/11/11(金) 12:56:20.70ID:ilMhe9Dd
終わったスレでも荒らしが必死

0046132人目の素数さん2016/11/16(水) 20:05:17.42ID:WO3gO/uI
真理を発見しました (哲学系)
http://p.booklog.jp/book/106489/read

無料の電子書籍です!

0047132人目の素数さん2016/11/30(水) 11:28:07.61ID:vFbvH46F
ネットでみかける「つ」の由来はもしかしてこれか

0048132人目の素数さん2017/03/05(日) 02:55:47.42ID:M2c333M6
>>1
同じだよ
「→」の意味をよーく考えてみ

0049132人目の素数さん2017/06/15(木) 19:57:25.89ID:7L8L/NST
シーケント計算の本だと、
含意と右辺(前提)、左辺(結論)を分ける記号を
区別して書かないといけないから
含意を⊃で書く本が多い気がする

0050132人目の素数さん2017/07/29(土) 13:01:14.30ID:KzE/1bUj
||-と→を使い分ける方が多くないか?
数式エディタなしでpowerpointでレジメ作る授業では⊃ を使うケースのあるのかな

0051132人目の素数さん2017/10/11(水) 15:23:49.89ID:KG+pVfzJ
¬

0052132人目の素数さん2017/10/11(水) 15:24:23.88ID:KG+pVfzJ



0053132人目の素数さん2017/10/19(木) 12:49:08.35ID:EPFYPGII
>>29
まとめありがとう
100年の疑問が晴れたよ

0054132人目の素数さん2017/10/21(土) 21:02:43.76ID:vHXdIEwM
つ 鏡

0055◆2VB8wsVUoo 2017/10/23(月) 23:08:59.12ID:Dl6USvMt

0056◆2VB8wsVUoo 2017/10/23(月) 23:09:18.05ID:Dl6USvMt

0057◆2VB8wsVUoo 2017/10/23(月) 23:09:38.06ID:Dl6USvMt

0058◆2VB8wsVUoo 2017/10/23(月) 23:09:55.63ID:Dl6USvMt

0059◆2VB8wsVUoo 2017/10/23(月) 23:10:14.00ID:Dl6USvMt

0060◆2VB8wsVUoo 2017/10/23(月) 23:10:30.50ID:Dl6USvMt

0061◆2VB8wsVUoo 2017/10/23(月) 23:10:48.01ID:Dl6USvMt

0062◆2VB8wsVUoo 2017/10/23(月) 23:11:05.32ID:Dl6USvMt

0063◆2VB8wsVUoo 2017/10/23(月) 23:11:20.54ID:Dl6USvMt

0064◆2VB8wsVUoo 2017/10/23(月) 23:11:37.74ID:Dl6USvMt

0065132人目の素数さん2017/11/08(水) 19:33:47.39ID:j0GdKTqx
つ 鏡

■ このスレッドは過去ログ倉庫に格納されています