TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
有理数であることも無理数であることも証明できない実数
フェルマーの最終定理の簡単な証明その２
現代数学の系譜 工学物理雑談 古典ガロア理論も読む73
数学で一番美しい数ってなんだと思う？
「これ、本当に重要か？」って数学の概念
　　　　　　　　　　　朝日生命
なんで数学板は荒れているのか
座標系の選び方や基底の選び方に依存しないこと
【数学者】大類昌俊【総合】　Part4
統計学Part17
226 ：
>>225
> で、(P⊃Q)∨(Q⊃P)が成り立たないと思うのはなんでなんですか？

その問題を言い出した人間とは私は別人だから横レスなんだけど、それが正しいということは、
２つの論理式PとQとを任意に選んだら両者は常に強弱の比較が可能だということになるだろう。
つまり論理式は強弱（含意が定める順序関係）について線型順序を成すってことだよ。
比較できない、つまり互いに無関係な、論理式のペアは存在し得ない、世の中のどんな命題も
どちらかが他方を含意しているという意味で必ず互いに関連しているってことになり
全ての命題は（互いに含意し合う同値関係で商を取れば）線型順序を成しているってことになる。

これは論理を現実世界の命題に適用すると極めて不自然だと思わない？
だって、>>225君はラーメンを喰うという命題と私はご飯を食べるという命題とが必ずどちらかが他方を含意するってさ。
つまり古典論理での論理演算子の含意⊃は、日常的な感覚でのつまり日常言語での「ならば」とは全然別物になっちゃってるってこと。
そのことを端的に示しているのが古典論理では(P⊃Q)∨(Q⊃P)が妥当になっちゃうという事実だよ。

Inter-universal geometry と ABC予想 29
工学部の一年生だけど院は数学科にいきたい
キチガイR
サイコロはどの目も出る確率が6分の1←根拠は？
なんで数学板は荒れているのか
現代数学の系譜 工学物理雑談 古典ガロア理論も読む40
数学で一番美しい数ってなんだと思う？
現代数学の系譜 工学物理雑談 古典ガロア理論も読む52
♂♂♂♂♂♂♂♂♂♂♂　　　生物実験　１４
関数解析
--------------------
宝塚で働きたい！
【MAZDA】マツダ初代(BK)アクセラVol.141【AXELA】
今、関西で旬な展覧会★1
「18歳未満はスマホ1日1時間」　香川県がゲーム依存対策条例
足、靴が臭いリーマン
俺だけでも佐賀の高校野球を語るスレ Part46
東京湾は津波に強いのか？　近似の山田湾沿岸は壊滅
【驚愕】中国が国家最大級のプロジェクト進行中。その名も「京都再現プロジェクト」 [875850925]
【盾:こどｵｼﾞ,無職,引き篭り,実寸五尺,平成生ﾏﾚﾉ四十四歳】妖怪・背足らずへの苦情 ｼｰﾙﾄﾞ 17足らず目
50過ぎてAKBオタなんですが
もし0083の主人公がアムロだったら第2話
Twitter「 さし箸はマナー違反？誰が言ったん？馬鹿が作った謎ルールなんか知るか、箸作ったやつはさすこと考えてたろ 」６万いいね！ [471942907]
【フランス】食の都～リヨンLyon～【仏】　７皿目
【国内】新日本海フェリー45隻目【最大手】
放射線によるダウン症が存在するようです9
いなり寿司
�｢�ｦ屍忌蛇について教えて！�ｦ�｢
５０代のファッション Part.３
静岡の星！　渡邊雄太を応援するスレ７
【バーチャルYouTuber】.LIVEアイドル部アンチスレ#11792【アップランド】
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼