Inter-universal geometry と ABC 予想 45

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

961(1): 2020/04/04(土)09:16 ID:DZ3hypNA(1/6) AAS
>>935
それじゃあ証明してください
例題は

すべてのカラスは黒い　⇒　少なくとも1羽の黒いカラスが存在する

です

僕は無理だと思いますよ
何せ前件で何も存在を言ってないのですから

979: 2020/04/04(土)10:50 ID:DZ3hypNA(2/6) AAS
>>974
>∀x P(x)から∃x P(x)

具体例は

A∧B　⇒　A∨B

これですか？
証明してください

983(2): 2020/04/04(土)11:02 ID:DZ3hypNA(3/6) AAS
>>978
>なぜなら対象が１つも存在しない場合

￢(∃xP(x))等値∀x￢P(x)

存在が一つもないときの否定はすべてのカラスは黒くない

ですよね
いまそんな話はしていません

984: 2020/04/04(土)11:04 ID:DZ3hypNA(4/6) AAS
>>983
あるカラスは存在せずかつ黒くない

という話ではありません

ある黒いカラスは存在しない

つまり黒いかどうかはどうでもよく
すべてのカラスは黒い
から
省3

991(2): 2020/04/04(土)11:42 ID:DZ3hypNA(5/6) AAS
>>987
x：カラス
F：黒い

￢(∃xP(x))等値∀x￢P(x)

理解できるか？

今言ってるのは

∀xP(x)　⇒　∃xP(x)
省4

995: 2020/04/04(土)12:13 ID:DZ3hypNA(6/6) AAS
>>991
ああFじゃなくてPね
x：カラス
P：黒い