Follow

$\exists x\in A P(x)$は$\exists x(x\in A \land P(x))$だけど、$A = \phi$のとき、$\exists x\in A P(x)$が偽になるのはわかるけど、$P(x)$が真になる理由がわからない。$A = \phi$で空っぽなんだから$P(x)$判定しようがなくないか…?プログラミング的には空っぽはnullだと思うけど、nullでも真になるの…?

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.