[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
345: １３２人目の素数さん [] 2020/06/01(月) 14:42:33.89 ID:1AEVfaSA >>323 ∀x(¬p(x)→¬q(x))↔∀x(q(x)→p(x))↔∀x((x=2∨x=-2)→x=2) →{(-2=2∨-2=-2)→-2=2}↔-2=2より偽 >>333 一行目のP∨Qが真であるという前提と矛盾するので閉じている >>339 同じだよ >>330の例なら、pが偽のときP→Qが成り立つことは、¬P→(P→Q)と書ける しかしこれは、(¬P∧P)→Qと同値だから、>>334と同じだよ http://rio2016.5ch.net/test/read.cgi/math/1589806470/345
346: １３２人目の素数さん [] 2020/06/01(月) 14:45:09.11 ID:1AEVfaSA 訂正 >>341 一行目のP∨Qが真であるという前提と矛盾するので閉じている http://rio2016.5ch.net/test/read.cgi/math/1589806470/346
347: １３２人目の素数さん [] 2020/06/01(月) 15:07:14.08 ID:1AEVfaSA １、A∧B→C ・・・仮定 ２、A ・・・仮定 ３、B ・・・仮定 ４、A∧B ・・・２と３より∧導入 ５、C ・・・１と４より→除去 ６、B→C ・・・３と５より→導入 ７、A→(B→C) ・・・２と６より→導入 ８、{A∧B→C}→{A→(B→C)} ・・・１と７より→導入 １、A→(B→C) ・・・仮定 ２、A∧B ・・・仮定 ３、A ・・・２より∧除去 ４、B→C ・・・１と３より→除去 ５、B ・・・２より∧除去 ６、C ・・・４と５より→除去 ７、A∧B→C ・・・２と６より→導入 ８、{A→(B→C)}→{A∧B→C} ・・・１と７より→導入 ９、{A→(B→C)}↔{A∧B→C} ・・・８と先の段落の８より↔導入 Aに¬Pを、BにPを、CにQを置けば、¬P→(P→Q)と¬P∧P→Qが同値と分かる http://rio2016.5ch.net/test/read.cgi/math/1589806470/347
361: １３２人目の素数さん [] 2020/06/01(月) 22:26:11.49 ID:1AEVfaSA >>360 P∨QをRとする そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね だったらこれは「R→(¬R→R)」と記号化されるべきだ なぜならただ単に「¬R→R」というだけの式では、 Rが真であるという主張が考慮されてないからだ 矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る http://rio2016.5ch.net/test/read.cgi/math/1589806470/361
362: １３２人目の素数さん [] 2020/06/01(月) 22:26:11.63 ID:1AEVfaSA >>360 P∨QをRとする そんで、命題「Rが真ならば、¬R→R」について考えてるんだよね だったらこれは「R→(¬R→R)」と記号化されるべきだ なぜならただ単に「¬R→R」というだけの式では、 Rが真であるという主張が考慮されてないからだ 矛盾を起こす部分を記号化し忘れておきながら矛盾が起こらないと言われても困る http://rio2016.5ch.net/test/read.cgi/math/1589806470/362
365: １３２人目の素数さん [] 2020/06/01(月) 23:52:29.92 ID:1AEVfaSA >>363 ＞すなわち真の前提から導出された命題の話ではなく Rが真のときに¬Rを前提にRが言えるかの話なのに、 つまり前提である¬Rが偽であるとしてる話なのになんでそう思ったの？ http://rio2016.5ch.net/test/read.cgi/math/1589806470/365
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s