- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
132 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 05:58:51.54 ID:NVmLn0ik - >>130
私も偽の仮定があると信じてた時がありました(笑)
演繹には偽の仮定という概念はない
それは条件法の話であり演繹ではない
ゆえに空集合を前提とする演繹はないし
偽の含意命題も存在しない
前提，含意，条件法，仮定
その用語を正確に知るには野矢茂樹の論理学を読むべきです
詳しくは
野矢茂樹『まったくゼロからの論理学』岩波書店
を参照してください
それから僕が読んだことのある集合・位相では
全称命題を論理積
存在命題を論理和
として定義していました
もちろん目的が違うので貴方と定義が異なるのは当然ですが
無限個を許した場合だと位相をみたさないという意味ですね
まあそうでしょう
これは明らかですね
でも僕がいつ無限個の話をしたんでしょうね
意味がわかりませんが貴方にとっては明らかなのでしょう(笑)
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
133 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 06:04:35.26 ID:NVmLn0ik - >>130
さて
(A∧B：偽 ⇒ A∨B：真∨偽)：真
という演繹はできませんのでこれは明らかではありませんから
証明してください(酷だと思うのでここではしなくていいですよ)
それから蛇足ですが竹之内脩の集合論では
A∨B ⇒ A∧B がありました
これも同様の理屈でしょう
偽の仮定(笑)
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
134 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 06:06:30.57 ID:NVmLn0ik - 真理表
真 真 真
真 偽 偽
偽 真 真
偽 偽 真
これは条件法における真理値です
この問題と演繹を混同しないでくださいね
僕も混同していた時期がありましたが
野矢茂樹先生に救われました
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
161 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 13:20:28.70 ID:NVmLn0ik - >>160
そういうこと
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
169 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 20:32:03.12 ID:NVmLn0ik - >>168
>数理論理学では、⇒を含意の論理演算子および
>falseを偽を表す論理定数として、任意の命題Xについて
>false ⇒ X は恒真命題だ
君は形式論理学の条件法と全く同じことを言っているが何が言いたいの？
君こそ勉強不足だね
偽の仮定(笑)でどこまで数学を記述できるのかやってみなよ
どうせ空集合の話なんだろ？
意味ねえ
>false ⇒ X は恒真命題だ
の具象例は
宇宙人はいる ⇒ 1=2
だろ？ｗｗｗｗ
ゴミなんだよ数学くそ論は
おれは一応山田敏行の『はじめての数理論理学』を読んだが
ほとんどゴミだった
意味ないよ
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
170 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 20:34:07.52 ID:NVmLn0ik - 演繹とは真なる前提のみを扱い
それに伴い含意命題は必ず真をなす
これが野矢論理学の心髄
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
171 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 20:40:15.99 ID:NVmLn0ik - >>168
【哲学板】論理学・集合論
ttps://lavender.5ch.net/test/read.cgi/philo/1490952242/
ここで話そうぜ
君の数理論理学で俺の数学を評価してみろ
何が正しくて何が違うのか
議論しよう
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
175 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 21:46:43.18 ID:NVmLn0ik - いや
数学にノーベル賞がある：偽 ⇒ 数学者で初めて：真
ってことだろ
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
176 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 21:57:13.35 ID:NVmLn0ik - >>175
これは演繹ではない
演繹なら
数学にノーベル賞はない
で終わり
|
- 【数学】 ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も 2020/04/03
180 ：ニュースソース検討中＠自治議論スレ[]：2020/04/05(日) 22:09:22.21 ID:NVmLn0ik - >>178
後件が正しければ前件が肯定される
っていう論理か
まあそういう含意も存在しない
数学者はノーベル賞を受賞できないから
数学者で初めてであるという後件は真ではないから
お前もbotか
|