[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)

Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

172: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:14:56 ID:gQCe02i1 >>171 ＞すべてのカラスは黒い ＞あるカラスが居る　←これが居ることの担保がない ＞ゆえに ＞そのカラスは黒い ＞この問題を回避するにはどういう公理が必要なの？ 上記を論理式で表す １．∀ｘ．カラス（ｘ）→黒（ｘ）　すべてのカラスは黒い ２．∃ｘ．カラス（ｘ）∧黒（ｘ）　そのカラスは黒い（黒いカラスが存在する） よく見ればわかるが、２は１の特称化ではない １の特称化は以下の通り ３．∃ｘ．カラス（ｘ）→黒（ｘ）　あるものが存在しカラスであるならば黒い １から３は導けるが、２は導けない http://rio2016.5ch.net/test/read.cgi/math/1587361264/172

173: １３２人目の素数さん [] 2020/04/22(水) 23:21:25 ID:LxI+KLOb >>172 >あるものが存在し これが全称命題からは言えない つまり3は2と同じことを言っている 全称命題に存在性はないと思うがどうか？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/173

174: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 23:22:47 ID:gQCe02i1 >>172 １．∀ｘ．カラス（ｘ）→黒（ｘ）　すべてのカラスは黒い ３．∃ｘ．カラス（ｘ）→黒（ｘ）　あるものが存在しカラスであるならば黒い ３の否定 ４．∀ｘ．カラス（ｘ）∧¬黒（ｘ）　すべてのものは黒くないカラスである 　∀ｘ．カラス（ｘ）→黒（ｘ）　　１ 　∀ｘ．カラス（ｘ）∧¬黒（ｘ）　４　３の否定 　カラス（ａ）　　　　　　　　　　４の全称例化 　¬黒（ａ）　　　　　　　　　　　４の全称例化 　カラス（ａ）→黒（ａ）　　　　　１の全称例化 ¬カラス（ａ）　黒（ａ） 　　×　　　　　　× したがって１から３は導ける http://rio2016.5ch.net/test/read.cgi/math/1587361264/174

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.037s