0.99999…は１ではない その20

[0226 complete idiot ◆OHIXyLapqc 2021/02/06(土) 15:31:52.36 ID:OnHbmRmU]

>>225
>もしかして暗に「命題変数が不定なら命題ではない」と言ってる？
いや、逆

そもそも　∃y.∀x.Q(x,y)⇔¬Q(x,x)　偽だしｗ