位相空間 2024年7月5日 集合が同じで位相が異なる空間 $\left(X,\mathcal{O}_{1}\right),\left(X,\mathcal{O}_{2}\right)$が位相空間ならば$\left(X,\mathcal{O}_{1}\cap\mathcal{O}_{2}\right)$も位相空間になる。
論理学 2024年6月14日 量化子(全称命題・存在命題)の順序変更 \[ \exists x\forall y,P\left(x,y\right)\Rightarrow\forall y\exists x,P\left(x,y\right) \]
論理学 2024年6月12日 量化記号(全称命題・存在命題)の分配 \[ \exists x\left(P\left(x\right)\lor Q\left(x\right)\right)\Leftrightarrow\exists xP\left(x\right)\lor\exists xQ\left(x\right) \]
論理学 2024年6月11日 存在命題(論理和)と全称命題(論理積)の順序変更 \[ \exists x\in X,\forall y\in Y,P\left(x,y\right)\Rightarrow\forall y\in Y,\exists x\in X,P\left(x,y\right) \]
論理学 2024年6月10日 全称命題と存在命題の否定と部分否定・全否定 \[ \lnot\forall x,P\left(x\right)\Leftrightarrow\exists x,\lnot P\left(x\right) \]
論理学 2024年6月7日 量化記号(全称命題・存在命題)の定義 \[ \forall x\in X,P\left(x\right)\Leftrightarrow\forall x,x\in X\rightarrow P\left(x\right) \]