[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
330: １３２人目の素数さん [] 2020/06/01(月) 09:51:53.04 ID:swPDUDHo タブロー法だと (1) P→Q (1)の分岐 (2) ¬P (3) Q という形式を持つだけだけどな それだからPから何でも導出できるわけではない という解釈だ http://rio2016.5ch.net/test/read.cgi/math/1589806470/330
333: １３２人目の素数さん [] 2020/06/01(月) 10:48:54.55 ID:swPDUDHo >>332 P→Q |- P→Q を示す (1) ¬((P→Q)→(P→Q)) (2) P→Q (1) (3) ¬(P→Q) (1) (4) P (3) (5) ¬Q (3) (2)の分岐 (6) ¬P (2) × (4),(6) (7) Q (2) × (5),(7) ゆえに P→Q |- P→Q これを省略して書いただけだが Qがなんでもよいなんてありえないし この場合PとQにそれぞれ矛盾がなければ タブローは閉じず命題は不成立である http://rio2016.5ch.net/test/read.cgi/math/1589806470/333
335: １３２人目の素数さん [] 2020/06/01(月) 10:55:29.54 ID:swPDUDHo もちろん P→Q |- P→Q を言う場合に (1) P→Q (2) ¬(P→Q) (3) P (4) ¬Q (1)の分岐 (5) ¬P × (6) Q × でもよい タブローの最初が必ず否定だとか何言ってんだろ http://rio2016.5ch.net/test/read.cgi/math/1589806470/335
337: １３２人目の素数さん [] 2020/06/01(月) 11:04:55.97 ID:swPDUDHo >>336 じゃあ訂正する必要なかったね おれはその意味で書いた 脊髄反射をやめろ http://rio2016.5ch.net/test/read.cgi/math/1589806470/337
339: １３２人目の素数さん [] 2020/06/01(月) 11:22:29.07 ID:swPDUDHo >>338 P∧¬Pって恒偽命題だよな？ 恒偽命題の仮定と偽の仮定は違うと思うよ http://rio2016.5ch.net/test/read.cgi/math/1589806470/339
341: １３２人目の素数さん [] 2020/06/01(月) 12:11:34.79 ID:swPDUDHo >>340 P∨Q：真 とする このとき ¬(P∨Q)：偽 ¬(P∨Q) |- P∨Q を示す (1) ¬(¬(P∨Q)→(P∨Q)) (2) ¬(P∨Q) (3) ¬P (4) ¬Q (5) ¬(P∨Q) (6) ¬P (7) ¬Q ゆえにタブローが閉じないので 命題は不成立である http://rio2016.5ch.net/test/read.cgi/math/1589806470/341
358: １３２人目の素数さん [] 2020/06/01(月) 21:27:31.05 ID:swPDUDHo >>346 いや(P∨W) それだと恒偽命題P∧¬Pと同じだから意味がない http://rio2016.5ch.net/test/read.cgi/math/1589806470/358
359: １３２人目の素数さん [] 2020/06/01(月) 21:28:29.30 ID:swPDUDHo >>358 途中送信 いや(P∨Q)∧¬(P∨Q)だと 恒偽命題P∧¬Pと同じだから意味がない http://rio2016.5ch.net/test/read.cgi/math/1589806470/359
360: １３２人目の素数さん [] 2020/06/01(月) 21:35:32.93 ID:swPDUDHo 今は恒偽命題とは異なる偽の命題を例示している P∧Q：真 ¬(P∧Q)：偽 とする このとき ¬(P∧Q) |- P∧Q を示す (1) ¬(¬(P∧Q)→(P∧Q)) (2) ¬(P∧Q) (3) ¬(P∧Q) (2)の分岐 (4) ¬P (5) ¬Q (3)の分岐 (6) ¬P (7) ¬Q ゆえにタブローが閉じないので命題は不成立である 恒真命題や恒偽命題のタブローが閉じるのは当たり前 そうでない場合の偽の仮定で閉じないことなんていくらでもある http://rio2016.5ch.net/test/read.cgi/math/1589806470/360
363: １３２人目の素数さん [] 2020/06/01(月) 23:09:29.96 ID:swPDUDHo >>362 それだと話が変わってしまう Pが真のとき P→(¬P→P)が真であることをいうのではない すなわち真の前提から導出された命題の話ではなく P：真 Q：偽 とするときQが恒偽命題でない場合の Q→P の論証について議論をしている 偽の仮定から常に真の後件が導出されるかどうかの話です ゆえに >Rが真ならば、¬R→R という話ではない 貴方の話は P：真 ¬P：偽 ¬¬P：真 このとき P→(¬P→P) を言っているに過ぎない http://rio2016.5ch.net/test/read.cgi/math/1589806470/363
367: １３２人目の素数さん [] 2020/06/01(月) 23:57:35.54 ID:swPDUDHo >>365 君が偽の仮定の話をするには 真なる前提が必要だと言っただろう >P∨QをRとする >そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね 偽の論証するのに真の前提が必要ならば それは P ¬P ¬¬P i.e. P の議論をしているに過ぎないと言っている http://rio2016.5ch.net/test/read.cgi/math/1589806470/367
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s