  |
Cがxを変数とする命題であるとき {x|C}というのはCが真になるようなxを数え上げてるわけだ。 だから(x|xは自然数)というのもたとえばxに1を代入すれば「1は自然数」となって真偽値が真に...
とにかく ∃x∊X(p) あるいは ∀x∊X(p) みたいな書き方をされてたときは pの部分を命題として見ることが可能でかつxを含むものならばpの真偽値に注目すればよい。 前者ならば真を取...
すぐ数ページ後に書かれてる写像でも{a|b∊Γ(a)}みたいな文が出て来るしそんなところで数年つまづいてたぐらいじゃ読むのやめた方がいいぐらいなんだけどね
12
