X
トップページ⇒数学
1002コメント403KB

Inter-universal geometry と ABC予想 否定派

■ このスレッドは過去ログ倉庫に格納されています
0080１３２人目の素数さん
垢版 |
2020/04/22(水) 16:24:56.40ID:mg08g5qs
>>79
見てるよw
人類の最先端頭脳には希望を見せて貰ってるよw
猿の惑星に生まれちゃったけどw

ﾁﾞﾁﾞｨｯﾁｬﾏには慈悲＆Hateの気持ちを覚えさせて貰ってまつw
0081粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/22(水) 16:25:09.69ID:X38faA9i
は？彼女は儂にもオドレにも幻滅して去ったじゃろ
00835ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:26:35.37ID:gQCe02i1
http://rio2016.5ch.net/test/read.cgi/math/1586655469/225

＞プロレスで言えば、
＞ヒーローは最初はやられるのです
＞ぼこぼこに
＞ヒーロー危うしとなったその瞬間
＞逆転劇が始まるのです

ないない

そもそもヒーローじゃねぇしｗ
0084１３２人目の素数さん
垢版 |
2020/04/22(水) 16:28:17.96ID:mg08g5qs
ﾁﾞﾁﾞｨｯﾁｬﾏ🐹ﾊﾑｽﾀｰｯﾁｬﾏに似てる🐹w

毎日毎日。。。回し車。。。
＠＠＠ｶﾗｶﾗｶﾗｶﾗ-ｯ!＠＠＠
って必死必死w
可愛ｅ💗(´艸`*)wwww
00855ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:28:24.12ID:gQCe02i1
>>81-82
な、
なんか知らんけどまだいるんだよ

おまえにやるよ
肉体労働者だから・・・大きいんだろ？（何が？）
00865ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:32:37.20ID:gQCe02i1
BBAは直接民主制を只の投票制度と誤解する
あさはかな思考力しか持ち合わせてないようだ
0087１３２人目の素数さん
垢版 |
2020/04/22(水) 16:35:31.07ID:mg08g5qs
🐹ﾊﾑｽﾀｰｯﾁｬﾏ🐹って回し車に
他のﾊﾑｽﾀｰが乗ってるの
オカマいなしに＠＠＠ｶﾗｶﾗ～＠＠って…

他ﾊﾑスｯ飛ばしちゃってもスｯとぼけて１匹で＠回し続けちゃってるのとか。。。

他の人達スっ飛ばしちゃっても動じないで＠＠ｶﾗｶﾗｶﾗ-＠＠って１人でワンオペｽﾙﾙｪ回ししちゃってるの🐹←そっくりw
00885ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:38:08.80ID:gQCe02i1
http://rio2016.5ch.net/test/read.cgi/math/1586655469/228
＞「5ch反IUT論装戦線」というネーミングは”新左翼”風

ま、ネタですがね

個人的にはここに着目してます

ウォール街を占拠せよ
https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A9%E3%83%BC%E3%83%AB%E8%A1%97%E3%82%92%E5%8D%A0%E6%8B%A0%E3%81%9B%E3%82%88

「2007年において、
　最も裕福な1パーセントが合衆国の全ての資産の34.6パーセントを所有しており、
　次の19パーセントの人口が50.5パーセントを所有している。」

これが資本主義の実態ですよ
00895ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:41:15.47ID:gQCe02i1
BBA失せろよ

おめえ自分が賢いとかイタイ勘違いしてねぇか
0090１３２人目の素数さん
垢版 |
2020/04/22(水) 16:42:21.42ID:mg08g5qs
>>85
虹ｯﾋﾟが消えちゃってひまなの…

ちょっと前にｽﾚ梅嵐してﾎｰﾑﾚｽにしちゃったw(*´艸`)ﾌﾌ…♪

みつからなくなっちゃった…(;;*)

ｺﾛﾅでひまひまで…
って思ってたら…
ほのぼのにﾆｭｰｶﾏｰを発見したのw



‪
0092１３２人目の素数さん
垢版 |
2020/04/22(水) 16:46:20.07ID:mg08g5qs
>>88
これ好き💓
☆ウォール街を占拠せよ☆

☆サンダース☆ﾁﾞﾁﾞｨｯﾁｬﾏも
可愛ｅ💗
00945ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:47:33.43ID:gQCe02i1
http://rio2016.5ch.net/test/read.cgi/math/1586655469/232

そもそも投票するだけの「奴隷」が「政治志向」とかいうだけ無駄

議会制は、実は民主主義でもなんでもない

自民党がクソなのは明らかだが、立民がマシというのも実は欺瞞

乃木坂・欅坂・日向坂程度の違いしかないｗ

共産党は・・・せいぜいBiSHかなｗ
0095１３２人目の素数さん
垢版 |
2020/04/22(水) 16:52:54.67ID:mg08g5qs
そんな事言うなら海洋国家陣営ではアメリカ白人にしか民主主義実現の権利なんか無いよ

あとは言いなりになるしかないから。
国力(軍事力)差有り過ぎw

政治なんちゃらは全部“有権者”のガス抜き効果程度の
小芝居で～すw
これが現実w

ｱﾊﾞｮｯ!
00985ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 16:59:06.09ID:gQCe02i1
>>95
＞国力(軍事力)差有り過ぎ

BBAにしてはいい指摘　（池上彰かｗ）

誰のため何のための軍事力なんですかね？

軍隊とか警察って結局国民を支配するための道具なんだよね
貨幣もそうだけど

そういうものはね・・・全部要らないんだよ
そう、一番要らないのは・・・アメリカｗ
00995ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:03:46.68ID:gQCe02i1
アメリカほどではないね
http://honkawa2.sakura.ne.jp/9038.html

もともとユダヤ人はポーランド（白ロシア・ウクライナを含む）に多かったが
ナチスが勃興してから半分は国外に脱出、半分はナチスに虐殺された
イスラエルやアメリカのユダヤ人の多くはポーランド系
0100粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/22(水) 17:07:26.95ID:X38faA9i
アメリカと言うかFRBが要らん
中共露共中央権力も要らん
01025ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:12:48.18ID:gQCe02i1
>>100
ロシアは共産党政権じゃないがね

ま、旧ソ連にしても中国にしても共産党政権は全然共産主義じゃないがね
彼らはcommuneの意味を知らんのだろう
https://ejje.weblio.jp/content/commune

共産主義は共同体主義と翻訳されるべきだったか
0103１３２人目の素数さん
垢版 |
2020/04/22(水) 17:14:22.11ID:mg08g5qs
新帝国主義時代に“Ｇ０”を感じて国家間競争の激化による国際関係の揺らぎから。。。
一時的に様々なピボット国家プランをシミュレートしてみても結局ポエム。

元々組み込まれてる軍事支配の枠組み内部に留め置かれて、今回のｺﾛﾅパンデミック後の世界では、ビッグテックによる個人情報が、レーシストにジャックされた帝国中心国家により統括されて逝くのでした。。。

スノーデン＆アサンジュが懸念した世界の到来でつw

「９.１１が世界の政治的潮流を変えた」なら。。。

「『コロナ後の世界』は９１１後のレーシズムに基く思想に染まった帝国中心に、世界支配を強化する技術を全権委任する転機になった」

ってまとめられてそうw
01045ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:15:44.99ID:gQCe02i1
ああ、そうそう
一つ言い忘れたことがある

このスレッドが終わったら、本スレッドに戻るよ・・・もちろん匿名で

私はスレッドを立てられないのでね
0107粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/22(水) 17:20:54.08ID:X38faA9i
共産主義は日銀がFRBの下僕に成り下がる前で日本中の企業が
相互資本補助の護送船団経営し、庶民も団塊の世代のな働き方が強力じゃった時代を差すんじゃろうな｡
『20世紀日本は最も成功した共産主義』と言われてもおかしくなかろう｡
日銀がFRBの下僕に成って以降、護送船団経営に風穴が開けられ､
庶民も団塊の世代の働き方では上手く無くなって来た訳じゃな｡
01085ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:29:41.98ID:gQCe02i1
>>107
今度は計画経済を共産主義と誤解する馬鹿現る

日本の学校は嘘ばっか教えてきたことがよくわかるなｗ

21世紀こそ「トロツキーの夢」が実現する時だろうな

・・・世界革命の夢がｗ
01095ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:33:09.76ID:gQCe02i1
そもそも金ありきで考えるから、権力に丸め込まれる

貨幣経済はどう転んだって金持ちに金があつまるようになってる
対数正規分布で、分散が大きくなればなるほど、
金持ちに金が集まるようになってるのは確率論の常識

対数正規分布
https://ja.wikipedia.org/wiki/%E5%AF%BE%E6%95%B0%E6%AD%A3%E8%A6%8F%E5%88%86%E5%B8%83

経済学が資産分布について全く述べないなら、根本的欠陥があるんだよ
01105ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:39:49.37ID:gQCe02i1
トマ・ピケティの提案する富裕税は所詮対症療法に過ぎず、根本的な解決策ではない

根本的な解決策？もちろん貨幣制度に代わる制度の実現

もちろんこれは容易なことではないし、スマートな理論が即出るわけでもない

試行錯誤でやっていくしかない　世の中は数学とは違うんだよ
0111１３２人目の素数さん
垢版 |
2020/04/22(水) 17:44:37.01ID:mg08g5qs
(あ、そうだ。。。聞き忘れてました…
ﾁﾞﾁﾞｨｯﾁｬﾏ…ドラクロワの
『民衆を率いる自由の女神』
の向かって右側で。。。
短銃持って登場してませんでした？

ColdplayのViva la vitaのmashupをYouTubeで聴く度にｼﾞｬｹｯﾄの🔫ﾔﾊﾞｲ★ｦﾁﾞｻﾝ♂wが
ﾁﾞﾁﾞｨｯﾁｬﾏに見えて仕方ないんですよね…w 失礼しますたw)
0112粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/22(水) 17:53:25.34ID:X38faA9i
>>108
何を読み違えとるん？計画主と主義主が別とは読まんかったんか？
01145ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:57:09.75ID:gQCe02i1
https://rio2016.5ch.net/test/read.cgi/math/1587468367/51
＞証明自体は合ってるけど論文の体裁が気に入らない

そんな「穏健派」なんているのか？ｗ

主流派：証明にはギャップがある（というかそもそも証明の体を成してない）
過激派：そもそも証明矛盾してね？

ショルツは過激派的な物言いがあったのは確かだが根本は主流派

そもそもあの不透明な論文から矛盾を見つけるのも難しい
01155ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 17:59:08.02ID:gQCe02i1
>>113
つーか、俺が織田信長🤥
01175ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 18:00:56.06ID:gQCe02i1
大体なんでここはBBAとか粋蕎とか変態の巣になってんだ😎←満更でもない
0123ID:1lEWVa2s
垢版 |
2020/04/22(水) 18:08:47.83ID:n+MI8AA7
>>122
吞めるだろ今日は。ごめんなさい。
01245ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 18:11:19.42ID:gQCe02i1
変態性欲
https://ja.wikipedia.org/wiki/%E5%A4%89%E6%85%8B%E6%80%A7%E6%AC%B2

「抗精神病薬であるエビリファイの服薬により、
　新しい性的指向の開発や、異常性欲などの
　行動障害を発症することがある。」

ま、関係ないけど（だったら書くなｗ）
01275ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 18:18:29.03ID:gQCe02i1
http://rio2016.5ch.net/test/read.cgi/math/1587468367/58
＞私は中立だよ。

誤　中立
正　無定見

賛否を問うアンケートに対して「どちらともいえない」と答える煮え切らないヤツｗ
01285ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 18:20:15.79ID:gQCe02i1
>>126
いやいや、酒もクスリも飲んでないって

・・・いかん、BBAにJJIと呼ばれて返事してしもた・・・OTL
0129１３２人目の素数さん
垢版 |
2020/04/22(水) 18:23:02.03ID:mg08g5qs
♪(*´∀`)ﾊﾊﾊ(´∀`*)ｹﾞﾗｹﾞﾗ
ﾊﾊﾊ(´∀`)♪(´∀`)ﾊﾊﾊ♪
ｹﾞﾗｹﾞﾗ
0134ID:1lEWVa2s
垢版 |
2020/04/22(水) 18:54:40.11ID:IWyN5Pb9
しぃずかあぁにぃ。
01365ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 19:40:27.86ID:gQCe02i1
http://rio2016.5ch.net/test/read.cgi/math/1587468367/64
>猿芝居をやりだしたら、数学はもう終わり。

もともと数学やりたがるのは変態ｗ

>AI, 宇宙、核融合、生命科学に人材がながれるよ。

やっぱ生命科学かなぁ

AIは・・・いうほど面白くない
0138ID:1lEWVa2s
垢版 |
2020/04/22(水) 20:18:35.10ID:zP4DsWDm
ここは書き込めるのか。
すまほににゃろめうぃるすはいった。
まあいいや。
0139ID:1lEWVa2s
垢版 |
2020/04/22(水) 20:19:14.18ID:zP4DsWDm
ゆぅちゅうぶすらいどできんくなった。
まあいいや。
01415ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 20:19:46.10ID:gQCe02i1
諸君らに問題

数学的帰納法は以下の命題と同じであることを示せ

P0　かつ　∃x￢Px　ならば　∃x(Px∧￢Psx)

(sxはxの後続者)
0142ID:1lEWVa2s
垢版 |
2020/04/22(水) 20:23:38.03ID:zP4DsWDm
>>141
まずP0が何言ってるかわからないし存在xにp素数掛けるxかつそのp素数の次偶数を掛けるの反対をしたのが何なのか解らん。
まだ、行列の統計の本のが意味解る。
論理学意味不明。解らんだけだけど。
0143ID:1lEWVa2s
垢版 |
2020/04/22(水) 20:25:01.74ID:+g0jYdrw
ねりゅ。おやちゅみ。
01445ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 20:32:18.19ID:gQCe02i1
>>142
P0：数0は性質Pを満たす
∃x￢Px:ある数xが存在し、xは性質Pを満たさない

さあ、もう分からないとはいわせない
01465ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 20:35:30.17ID:gQCe02i1
>>141の論理式を日本語でかくとこうなる

0は性質Pを満たし、ある数xが存在してxはPを満たさないとする
そのとき、ある数yが存在して、yは性質Pを満たすが、
その後続者sy(=y+1)は性質Pを満たさない
0147ID:1lEWVa2s
垢版 |
2020/04/22(水) 20:37:31.56ID:vdJUmMzj
>>146
偶数だから。　但しxは奇数になるだけで
素数かは解らない。
0148ID:1lEWVa2s
垢版 |
2020/04/22(水) 20:41:33.61ID:vdJUmMzj
ねりゅ。おやちゅみ。
0152１３２人目の素数さん
垢版 |
2020/04/22(水) 20:46:50.10ID:mg08g5qs
*“))め～さま…
今日は遊んで頂いてありがとうございました..お先に失礼いたしますね..お休みなさぃ…
0153１３２人目の素数さん
垢版 |
2020/04/22(水) 20:52:41.88ID:l81dZyRC
>>27
いやなんとなく、っていうか
IUTが正しければabc conjectureが証明された（弱いやつだけど）ことになるんで
自分の動画も世間一般の人がそこに至るまでのミッシングリンクとして役に立つんじゃないかなと
まあもう世間ではとっくに忘れられてると思いますけどね
今世紀最大の証明とか銘打っても今すぐどうにかなるってわけでもないし
0154１３２人目の素数さん
垢版 |
2020/04/22(水) 20:54:34.51ID:mg08g5qs
(>146…(>Д⊂。)可哀想過ｷﾞﾙ…
誰か答えてあげて…
(´Д`゜)。○゜＊゜。*゜)
0155粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/22(水) 20:56:55.76ID:X38faA9i
￢(∀xP(x))≡∃x￢P(x)
￢(∃xP(x))≡∀x￢P(x)

三項目、蛇足入れよったな。相っ変わらずβ
01565ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 20:57:05.16ID:gQCe02i1
>>154
＞誰か答えてあげて…

いや、おまえが答えろよｗ
01585ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 20:59:09.51ID:gQCe02i1
>>155
おまえ相変わらずワケワカランこといって頭悪いな　マジで高卒だろ
おまえみたいな馬鹿が入れる大学があるなら名前教えてくれ
01595ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 20:59:42.33ID:gQCe02i1
>>157
ねるなぁぁぁぁぁｗ
0160粋蕎 ◆C2UdlLHDRI
垢版 |
2020/04/22(水) 21:02:29.64ID:X38faA9i
>>158
確かにβ微分法でお馴染みバカ王βであるオドレの次くらいにはバカかも知れんのう
01615ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 21:05:05.47ID:gQCe02i1
また俺をそのβとかいうやつと混同しとるな・・・この妄想狂が

「三項目、蛇足入れよったな。」は意味わからん
おまえが理解できないことを蛇足だと妄想してるだけだろ

この馬鹿タレが！！！
0162１３２人目の素数さん
垢版 |
2020/04/22(水) 21:55:38.10ID:LxI+KLOb
全称命題から特称命題はいえない
絶対ニダ
01645ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 22:46:46.87ID:gQCe02i1
https://en.wikipedia.org/wiki/List_of_incomplete_proofs
IUT論文の中間的な定理もしくは補題に反例が見つかれば×がつく
IUT論文の証明にギャップがあると判定されれば？がつく
ギャップが埋められれば✓がつく

そういうこと
0165１３２人目の素数さん
垢版 |
2020/04/22(水) 22:49:04.13ID:tTF2a26B
Ⅰ“))…ﾀﾞﾚﾓ…ｨﾅｨﾅ…?…


Ⅰ＼ﾁｭｯ!💞ﾁｭｯ!💓ﾁｭｯ!💖／
Ⅰ=(*´³<3＜３(>>163)
☆／xxx投げkiss<3☆ﾃﾛw＼
01665ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 22:49:58.74ID:gQCe02i1
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう
01695ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 22:54:19.07ID:gQCe02i1
酔っぱらってる？
0171１３２人目の素数さん
垢版 |
2020/04/22(水) 23:04:36.78ID:LxI+KLOb
>>166
また一つ公理が増えたな
まあ勝手に構成してろ

人間は動物だ
ソクラテスは人間だ
ゆえに
ソクラテスは動物だ

しかし

すべてのカラスは黒い
あるカラスが居る　←これが居ることの担保がない
ゆえに
そのカラスは黒い

この問題を回避するにはどういう公理が必要なの？
01725ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 23:14:56.53ID:gQCe02i1
>>171
＞すべてのカラスは黒い
＞あるカラスが居る　←これが居ることの担保がない
＞ゆえに
＞そのカラスは黒い
＞この問題を回避するにはどういう公理が必要なの？

上記を論理式で表す

１．∀ｘ．カラス（ｘ）→黒（ｘ）　すべてのカラスは黒い
２．∃ｘ．カラス（ｘ）∧黒（ｘ）　そのカラスは黒い（黒いカラスが存在する）

よく見ればわかるが、２は１の特称化ではない

１の特称化は以下の通り

３．∃ｘ．カラス（ｘ）→黒（ｘ）　あるものが存在しカラスであるならば黒い

１から３は導けるが、２は導けない
0173１３２人目の素数さん
垢版 |
2020/04/22(水) 23:21:25.76ID:LxI+KLOb
>>172
>あるものが存在し

これが全称命題からは言えない
つまり3は2と同じことを言っている

全称命題に存在性はないと思うがどうか？
01745ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 23:22:47.48ID:gQCe02i1
>>172
１．∀ｘ．カラス（ｘ）→黒（ｘ）　すべてのカラスは黒い
３．∃ｘ．カラス（ｘ）→黒（ｘ）　あるものが存在しカラスであるならば黒い

３の否定
４．∀ｘ．カラス（ｘ）∧￢黒（ｘ）　すべてのものは黒くないカラスである

　∀ｘ．カラス（ｘ）→黒（ｘ）　　１
　∀ｘ．カラス（ｘ）∧￢黒（ｘ）　４　３の否定
　カラス（ａ）　　　　　　　　　　４の全称例化
　￢黒（ａ）　　　　　　　　　　　４の全称例化
　カラス（ａ）→黒（ａ）　　　　　１の全称例化
￢カラス（ａ）　黒（ａ）
　　×　　　　　　×

したがって１から３は導ける
01755ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 23:27:47.32ID:gQCe02i1
>>173
＞3は2と同じことを言っている

否

２　∃ｘ．カラス（ｘ）∧黒（ｘ）　そのカラスは黒い（黒いカラスが存在する）

２の否定

５．∀ｘ．カラス（ｘ）→￢黒（ｘ）　すべてのカラスは黒くない

>>174の４ではカラス以外のものは存在しない
一方５ではカラス以外のものも存在してよい
したがって２と３は意味が異なる
0176１３２人目の素数さん
垢版 |
2020/04/22(水) 23:29:58.53ID:LxI+KLOb
すべてのカラスは黒くない

∀x(Fx→Gx)

等値

∀x(￢Fx∨Gx)

その否定

∃x(Fx∧￢Gx)

あるカラスは黒くない

つまり黒くないカラスの存在は何処かで言うことが可能だが
ここの黒いカラスの存在は言えない
全称命題の否定から存在性を言うことはできないし
またカラスが居ることと関係がない
0177１３２人目の素数さん
垢版 |
2020/04/22(水) 23:34:26.51ID:LxI+KLOb
>>176
訂正
すべてのカラスは黒い
01785ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 23:35:04.48ID:gQCe02i1
　∀ｘ．カラス（ｘ）→黒（ｘ）　１
　∀ｘ．カラス（ｘ）→￢黒（ｘ）　５　２の否定
　カラス（ａ）→黒（ａ）　１の全称例化
　カラス（ａ）→￢黒（ａ）　５の全称例化
　￢カラス（ａ）　　　　　　　　黒（ａ）
￢カラス（ａ）￢黒（ａ）￢カラス（ａ）　￢黒（ａ）
　　　　　　　　　　　　　　　　　　　　　　×

×がつかない枝かあるので　１から２は導けない
01795ch反IUT論装戦線 ◆y7fKJ8VsjM
垢版 |
2020/04/22(水) 23:40:41.66ID:gQCe02i1
>>176
∀x(Fx→Gx)　の特称化は
∃x(Fx→Gx)　であって
∃x(Fx∧Gx)　ではない

∃x(Fx→Gx)　と　∃x(Fx∧Gx)　は異なる
∀x(Fx→Gx)から∃x(Fx→Gx)は導ける
∀x(Fx→Gx)から∃x(Fx∧Gx)は導けない
0180１３２人目の素数さん
垢版 |
2020/04/22(水) 23:44:39.35ID:LxI+KLOb
>>178
議論がずれているんだが
カラスの色の問題ではなくて
カラスが居るかどうかを
全称命題では保証できないと言っている
否定形で存在を保証するという考えはできない

カラスは居る/居ない

これが全称命題から導出できない
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況