[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 53 (1002ﾚｽ)
Inter-universal geometry と ABC予想 53 http://rio2016.5ch.net/test/read.cgi/math/1589806470/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
334: １３２人目の素数さん [sage] 2020/06/01(月) 10:54:54.30 ID:u89O7EhN >>333 P,¬P |- Q これでやってみて Qがどんな式でもタブローが閉じるから http://rio2016.5ch.net/test/read.cgi/math/1589806470/334
338: １３２人目の素数さん [sage] 2020/06/01(月) 11:19:25.09 ID:u89O7EhN >>337 >>334をタブロー法で証明してごらん そうすれば「偽の仮定からは全て真が導かれる」という言葉で 何をいいたかったのかが、あなたにも分からざるを得なくなる筈だから http://rio2016.5ch.net/test/read.cgi/math/1589806470/338
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
373: １３２人目の素数さん [] 2020/06/02(火) 01:49:31.97 ID:Ox5DlzXT >>371 その日常語で述べられている主張が矛盾を起こすのだから、 それの記号化をしないなら、矛盾が出ないのは当然だという、 指摘されたその欠陥を得意げに見せつけられても困る >>372 それは>>345の最後の文の続きで>>334と同じになることの説明の補足だが 何かおかしい所があったのであれば説明してくれ 続きは安達スレで http://rio2016.5ch.net/test/read.cgi/math/1589806470/373
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s