Inter-universal geometry と ABC 予想 45

[0991 １３２人目の素数さん 2020/04/04(土) 11:42:44.20 ID:DZ3hypNA]

>>987
x：カラス
F：黒い

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

理解できるか？

今言ってるのは

∀xP(x)　⇒　∃xP(x)

∀x¬P(x)ではない

ちなみに
∀xP(x)の否定は¬(∀xP(x))等値∃x¬P(x)

今の議論と全く関係がない