Inter-universal geometry と ABC 予想 45

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

987(1): 2020/04/04(土)11:28 ID:CTVUpSZE(3/5) AAS
>>983
そもそも黒いカラスも黒くないカラスも存在しない場合
「全てのカラスは黒くない」も「全てのカラスは黒い」も成立する

そういう話

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