[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
246(1): 2020/04/23(木)16:59 ID:XWvRD9DG(1/10) AAS
任意の値に具体的数値を入れている時点でゴミ
247(1): 2020/04/23(木)17:01 ID:XWvRD9DG(2/10) AAS
まだすべてのカラスは黒い問題が理解できないようだね
全称命題に定数を入れられないのがわからない
田島一郎くん？
253(1): 2020/04/23(木)17:28 ID:XWvRD9DG(3/10) AAS
たしかに
丹治信治の論理学入門では
全称命題から個体パラメータを導出している
つまり
すべてのカラスは黒い
から
太郎くん(カラス)は黒い
省9
257(1): 2020/04/23(木)17:52 ID:XWvRD9DG(4/10) AAS
>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
省8
258(1): 2020/04/23(木)17:56 ID:XWvRD9DG(5/10) AAS
>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り
そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと
260(1): 2020/04/23(木)18:00 ID:XWvRD9DG(6/10) AAS
>>256
a：個体パラメータ
とする
(1) (∀x)Fx
(2) Fa (1)
この導出に異論はあるか？
俺はない
省1
263: 2020/04/23(木)18:06 ID:XWvRD9DG(7/10) AAS
>>262
あるに決まってんだろｗ
271: 2020/04/23(木)20:53 ID:XWvRD9DG(8/10) AAS
存在汎化か……
怪しいやつもってきたなｗ
「少なくとも1つあれば」に該当するとも言えるが
これを認めるのは難しそう
まっこれから研究してみますわ
279(2): 2020/04/23(木)22:43 ID:XWvRD9DG(9/10) AAS
AA省
284: 2020/04/23(木)23:18 ID:XWvRD9DG(10/10) AAS
なるほどね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s