[過去ログ]
Inter-universal geometry と ABC予想 否定派 (1002レス)
Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
162: 132人目の素数さん [] 2020/04/22(水) 21:55:38 ID:LxI+KLOb 全称命題から特称命題はいえない 絶対ニダ http://rio2016.5ch.net/test/read.cgi/math/1587361264/162
171: 132人目の素数さん [] 2020/04/22(水) 23:04:36 ID:LxI+KLOb >>166 また一つ公理が増えたな まあ勝手に構成してろ 人間は動物だ ソクラテスは人間だ ゆえに ソクラテスは動物だ しかし すべてのカラスは黒い あるカラスが居る ←これが居ることの担保がない ゆえに そのカラスは黒い この問題を回避するにはどういう公理が必要なの? http://rio2016.5ch.net/test/read.cgi/math/1587361264/171
173: 132人目の素数さん [] 2020/04/22(水) 23:21:25 ID:LxI+KLOb >>172 >あるものが存在し これが全称命題からは言えない つまり3は2と同じことを言っている 全称命題に存在性はないと思うがどうか? http://rio2016.5ch.net/test/read.cgi/math/1587361264/173
176: 132人目の素数さん [] 2020/04/22(水) 23:29:58 ID:LxI+KLOb すべてのカラスは黒くない ∀x(Fx→Gx) 等値 ∀x(¬Fx∨Gx) その否定 ∃x(Fx∧¬Gx) あるカラスは黒くない つまり黒くないカラスの存在は何処かで言うことが可能だが ここの黒いカラスの存在は言えない 全称命題の否定から存在性を言うことはできないし またカラスが居ることと関係がない http://rio2016.5ch.net/test/read.cgi/math/1587361264/176
177: 132人目の素数さん [] 2020/04/22(水) 23:34:26 ID:LxI+KLOb >>176 訂正 すべてのカラスは黒い http://rio2016.5ch.net/test/read.cgi/math/1587361264/177
180: 132人目の素数さん [] 2020/04/22(水) 23:44:39 ID:LxI+KLOb >>178 議論がずれているんだが カラスの色の問題ではなくて カラスが居るかどうかを 全称命題では保証できないと言っている 否定形で存在を保証するという考えはできない カラスは居る/居ない これが全称命題から導出できない http://rio2016.5ch.net/test/read.cgi/math/1587361264/180
183: 132人目の素数さん [] 2020/04/22(水) 23:55:27 ID:LxI+KLOb >>181 >∀x(Fx→Gx)から∃x(Fx→Gx)は導ける それって公理から導出できるってだけの話だよね(全称例化) 俺はその公理体系に属さないから議論しても無駄だわ 公理が存在の担保って群レベルのゴミだな http://rio2016.5ch.net/test/read.cgi/math/1587361264/183
184: 132人目の素数さん [] 2020/04/22(水) 23:57:37 ID:LxI+KLOb >>182 ああだから全然違う議論をしていたんだね 君が豆知識を披露することに拘泥していて 話になってなかったわ じゃあな虫けら http://rio2016.5ch.net/test/read.cgi/math/1587361264/184
185: 132人目の素数さん [] 2020/04/22(水) 23:59:15 ID:LxI+KLOb 命題論理のタブローならわかるから 書き直してみろよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/185
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.588s*